diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/jobs/gcc5.sh | 4 | ||||
| -rwxr-xr-x | tools/ci/scripts/init.sh | 2 |
2 files changed, 4 insertions, 2 deletions
diff --git a/tools/ci/jobs/gcc5.sh b/tools/ci/jobs/gcc5.sh index dae42ea..36d6bd1 100755 --- a/tools/ci/jobs/gcc5.sh +++ b/tools/ci/jobs/gcc5.sh @@ -15,10 +15,12 @@ aptget_install gcc-5 g++-5 \ do_init clone_servercode mkdir server-code/src/evol -cp -r evol-hercules/* server-code/src/evol +cp -r evol-hercules/* server-code/src/evol/ check_error $? cd server-code/src/evol check_error $? +ls -la +ls -la .. run_configure $* run_make diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh index c935d31..18e8ee6 100755 --- a/tools/ci/scripts/init.sh +++ b/tools/ci/scripts/init.sh @@ -65,7 +65,7 @@ function gitclone { function check_error { if [ "$1" != 0 ]; then echo "error $1" - exit $result + exit $1 fi } |