diff --git a/wsl/install.sh b/wsl/install.sh index 475c227a..bb08d3da 100755 --- a/wsl/install.sh +++ b/wsl/install.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -set -euo pipefail +set -euxo pipefail # might be edited by the worker to checkout a specific ref git_ref=""