diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/jobs/gcc5.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tools/ci/jobs/gcc5.sh b/tools/ci/jobs/gcc5.sh index 777762b..dae42ea 100755 --- a/tools/ci/jobs/gcc5.sh +++ b/tools/ci/jobs/gcc5.sh @@ -15,8 +15,10 @@ aptget_install gcc-5 g++-5 \ do_init clone_servercode mkdir server-code/src/evol -cp -r evol-hercules/* ../server-code/src/evol -cd ../server-code/src/evol +cp -r evol-hercules/* server-code/src/evol +check_error $? +cd server-code/src/evol +check_error $? run_configure $* run_make |