Fix check if git commit is needed

Cumulus · Jul 31, 2014 · dc2e86c · dc2e86c
1 parent 9952622
commit dc2e86c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis-ci.sh b/.travis-ci.sh
@@ -24,7 +24,7 @@ if [ "$TRAVIS_REPO_SLUG" == "Cumulus/Syndic" ] \
 
   git add -f doc/
 
-  if [ -n $(git status --porcelain A) ]; then
+  if [ -n $(git status --untracked-files=no --porcelain) ]; then
     git commit -m "Lastest ocamldoc on successful travis build $TRAVIS_BUILD_NUMBER auto-pushed to gh-pages"
     git push -fq origin gh-pages
   fi