From bc24645bdd7a1a856828e86ac59980ace05d9c11 Mon Sep 17 00:00:00 2001 From: Benjamin Renard Date: Wed, 21 Apr 2010 12:10:06 +0200 Subject: [PATCH] upgradeFromGit.sh : Added test with checkDocExportsNecessity.sh script to know if doc exportation is necessary --- upgradeFromGit.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/upgradeFromGit.sh b/upgradeFromGit.sh index 7213b8a4..f1ebb434 100755 --- a/upgradeFromGit.sh +++ b/upgradeFromGit.sh @@ -234,6 +234,7 @@ fi if [ $BUILD_DOC -eq 1 ] then + [ -n "$LAST_UPDATE_FILE" ] && [ "`$ROOT_DIR/checkDocExportsNecessity.sh`" == "" ] && echo "Export documentation is not necessary. Pass." && exit msg "-> Do you want build the documentation (y/N) ? " -en read a if [ "$a" == "y" -o "$a" == "Y" ]