We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 39e6c9e commit e90538eCopy full SHA for e90538e
.travis.sh
@@ -65,12 +65,13 @@ if [[ "`uname -m`" == "arm"* || "`uname -m`" == "aarch"* ]]; then
65
else
66
export EXIT_STATUS=0; for test_l in irteus/test/*.l; do irteusgl $test_l; export EXIT_STATUS=`expr $? + $EXIT_STATUS`; done;echo "Exit status : $EXIT_STATUS"; [ $EXIT_STATUS == 0 ] || exit 1
67
fi
68
+set +e
69
+make -C eus/contrib/eus64-check/ # check eus64-check
70
travis_time_end
71
72
if [ "$TRAVIS_OS_NAME" == "linux" -a "`uname -m`" == "x86_64" ]; then
73
74
travis_time_start script.doc
- set +e
75
(cd doc; make)
76
77
0 commit comments