.travis.yml: change help-lint to not do extra.

diff --git a/.travis.yml b/.travis.yml
index df2602ca5d8b508d3414a606dc38aa6d5fc07e10..36cdb73a42e9b010ae37b222198d17e8299a80d7 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -64,4 +64,4 @@ script:
   - "./factor -e='USING: memory namespaces parser.notes vocabs.hierarchy ; parser-quiet? off \"resource:basis\" \"\" load-from-root save'"
   #- "./factor -e='USING: memory namespaces parser.notes vocabs.hierarchy ; parser-quiet? off \"resource:extra\" \"\" load-from-root save'"
   - "./factor -run=tools.test resource:core"
-  - "./factor -run=help.lint resource:core resource:basis resource:extra"
+  - "./factor -run=help.lint resource:core resource:basis"