1
0
Fork 0

trying with exit 1

master
cvvergara 2017-07-13 21:15:27 -05:00
parent cf417d28e2
commit 2d3fe6d095
1 changed files with 1 additions and 1 deletions

View File

@ -23,5 +23,5 @@ script:
- du -ch _build/html
- make clean
- make small SPHINXOPTS=" -v" &> errors.txt
- if ! grep -Fq 'build succeeded, 11 warnings' errors.txt; then cat errors.txt; echo 1; fi;
- if ! grep -Fq 'build succeeded, 11 warnings' errors.txt; then cat errors.txt; exit 1; fi;
- du -ch _build/html