minor

dmlc · Jul 4, 2015 · 8cc07ba · 8cc07ba
1 parent 099581b
commit 8cc07ba
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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