diff options
| -rw-r--r-- | ci/scripts/build-socrates.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ci/scripts/build-socrates.sh b/ci/scripts/build-socrates.sh index 5b642b741270..93b3b49a64a6 100644 --- a/ci/scripts/build-socrates.sh +++ b/ci/scripts/build-socrates.sh @@ -1,3 +1,6 @@ -set -e +set -euo pipefail +set -x + +echo "$PATH" /home/wpcarro/.nix-profile/bin/rebuild |