minor

2015-07-03 17:41:52 -07:00 · 2015-07-03 17:41:52 -07:00 · 8cc07ba391
commit 8cc07ba391
parent 099581b591
1 changed files with 1 additions and 1 deletions
--- a/scripts/travis_script.sh
+++ b/scripts/travis_script.sh
@ -7,7 +7,7 @@ fi

 if [ ${TASK} == "doc" ]; then
    make doc 2>log.txt
-    (cat log.txt|grep warning) && exit -1
+    (cat log.txt| grep -v ENABLE_PREPROCESSING |grep -v "unsupported tag" |grep warning) && exit -1
 fi

 if [ ${TASK} == "build" ]; then