summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtools/ci/jobs/gcc5.sh4
-rwxr-xr-xtools/ci/scripts/init.sh2
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
}