From da98b5bba33c5d950a9cfedf995000d106d4225e Mon Sep 17 00:00:00 2001 From: Emmanuel Milou <emmanuel.milou@savoirfairelinux.com> Date: Mon, 30 Jul 2012 15:11:37 -0400 Subject: [PATCH] [#13281] Enable debug --- tools/build-system/launch-build-machine-jenkins.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/build-system/launch-build-machine-jenkins.sh b/tools/build-system/launch-build-machine-jenkins.sh index 754ce8b480..2478d702f0 100755 --- a/tools/build-system/launch-build-machine-jenkins.sh +++ b/tools/build-system/launch-build-machine-jenkins.sh @@ -10,7 +10,7 @@ # Last Modified: 2010-04-22 16:42:57 -0400 ##################################################### -#set -x +set -x # . `dirname $0`/setenv.sh -- GitLab