summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtools/ci/scripts/init.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh
index b588192da..4164f06de 100755
--- a/tools/ci/scripts/init.sh
+++ b/tools/ci/scripts/init.sh
@@ -52,7 +52,7 @@ function aptget_install {
function check_error {
if [ "$1" != 0 ]; then
cat $ERRFILE
- exit $result
+ exit $1
fi
}