[jenkins] Check build mode before making the archive

diff --git a/buildtools/jenkins/build.sh b/buildtools/jenkins/build.sh
index 125d3ca..3af2e94 100755 (executable)
--- a/buildtools/jenkins/build.sh
+++ b/buildtools/jenkins/build.sh
@@ -47,11 +47,6 @@ fi
 mkdir $WORKSPACE/build
 cd $WORKSPACE/build
 
-cmake -G"$GENERATOR" -Denable_documentation=OFF $WORKSPACE
-make dist -j$NUMBER_OF_PROCESSORS
-tar xzf `cat VERSION`.tar.gz
-cd `cat VERSION`
-
 case "$build_mode" in
   "Debug")
   ;;
@@ -67,6 +62,11 @@ case "$build_mode" in
   ;;
 esac
 
+cmake -G"$GENERATOR" -Denable_documentation=OFF $WORKSPACE
+make dist -j$NUMBER_OF_PROCESSORS
+tar xzf `cat VERSION`.tar.gz
+cd `cat VERSION`
+
 cmake -G"$GENERATOR"\
   -Denable_debug=ON -Denable_documentation=OFF -Denable_coverage=OFF \
   -Denable_model-checking=$(onoff test "$build_mode" = "ModelChecker") \