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
 }