Skip to content

Commit

Permalink
Tweak .travis.yml file to fix misinterpreted colon
Browse files Browse the repository at this point in the history
  • Loading branch information
david-a-wheeler committed Dec 29, 2016
1 parent 46d7cc3 commit 64f6861
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .travis.yml
Original file line number Diff line number Diff line change
Expand Up @@ -43,7 +43,7 @@ script:
- ./metamath 'read set.mm' 'verify proof *' 'verify markup *' exit | tee mm.log && [ `egrep -q '?Error|?Warning' < mm.log; echo $?` -eq 1 ]
# Sort "show discouraged" results to ignore benign reordering
# Regenerate "discouraged" in the same way if you *intend* for this to change
- echo 'Checking if "show discouraged" results are as expected...' && ./metamath 'read set.mm' 'set width 9999' 'show discouraged' quit | grep '^SHOW DISCOURAGED:' | sed -E -e 's/^SHOW DISCOURAGED: ?//' | LC_ALL=C sort > discouraged.new && diff -u discouraged discouraged.new
- echo 'Checking if "show discouraged" results are as expected...' && ./metamath 'read set.mm' 'set width 9999' 'show discouraged' quit | grep '^SHOW DISCOURAGED.' | sed -E -e 's/^SHOW DISCOURAGED. ?//' | LC_ALL=C sort > discouraged.new && diff -u discouraged discouraged.new
- java -Xms512M -Xmx1024M -jar mmj2.jar RunParms.txt | tee mmj2.log && [ `egrep 'Exception|.-..-[0-9]{4}' < mmj2.log | egrep -qv 'I-UT-0015'; echo $?` -eq 1 ]
- ~/.cargo/bin/smetamath --verify --split --jobs 4 --timing ./set.mm 2>&1 | tee smm.log && [ `egrep '(:Error:|:Warning:)' < smm.log; echo $?` -eq 1 ]
- ./checkmm set.mm

0 comments on commit 64f6861

Please sign in to comment.