diff --git a/jenkins/quality.sh b/jenkins/quality.sh index 2cfea7a760..4cf26d76bf 100755 --- a/jenkins/quality.sh +++ b/jenkins/quality.sh @@ -1,5 +1,8 @@ #! /bin/bash +set -e +set -x + # Reset the submodule, in case it changed git submodule foreach 'git reset --hard HEAD' @@ -8,4 +11,4 @@ export PYTHONIOENCODING=UTF-8 rake clobber rake pep8 || echo "pep8 failed, continuing" -rake pylint || echo "pylint failed, continuing" \ No newline at end of file +rake pylint || echo "pylint failed, continuing" diff --git a/jenkins/test_edge.sh b/jenkins/test_edge.sh index 1896e58c55..12a8bd2189 100755 --- a/jenkins/test_edge.sh +++ b/jenkins/test_edge.sh @@ -1,5 +1,8 @@ #! /bin/bash +set -e +set -x + # Reset the submodule, in case it changed git submodule foreach 'git reset --hard HEAD' diff --git a/jenkins/test_lms.sh b/jenkins/test_lms.sh index 59a141831d..c24d75991b 100755 --- a/jenkins/test_lms.sh +++ b/jenkins/test_lms.sh @@ -1,5 +1,8 @@ #! /bin/bash +set -e +set -x + # Reset the submodule, in case it changed git submodule foreach 'git reset --hard HEAD'