[ci] update Jenkins script

a175f13a · Charles Deltel · 6ba13ed0 · a175f13a
Commit a175f13a authored Jan 29, 2016 by Charles Deltel
--- a/gatb-core/test/jenkins/test-suite-debian7-64bits-gcc-4.7.sh
+++ b/gatb-core/test/jenkins/test-suite-debian7-64bits-gcc-4.7.sh
@@ -15,8 +15,13 @@ date
 hostname
 pwd

-# Jenkins Build parameters
-echo "GIT_TAG : $GIT_TAG"
+echo "
+--------------------------
+ Jenkins build parameters
+--------------------------
+GIT_TAG : $GIT_TAG
+DEBUG   : $DEBUG
+"

 ################################################################
 #                       COMPILATION                            #