[FIX] make install_dependencies.sh an executable
@@ -4,9 +4,8 @@ echo "Installing dependencies"
set -eu
-set -x
-
-echo "OS_TYPE = $OS_TYPE"
+# Required variables
+echo OS_TYPE = $OS_TYPE
if [ "$OS_TYPE" = "ubuntu-latest" ]; then
sudo apt update
@@ -17,4 +16,6 @@ else
echo "Unknown OS_TYPE: $OS_TYPE"
fi
-echo "Done installing dependencies"
+set +eux
+
+echo Done installing dependencies
