diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-08-16T16·38+0100 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-08-20T10·26+0100 |
| commit | d56b2210cd9fcef0ce6fd1d0f47f5fae6a9b75e2 (patch) | |
| tree | 1a025d7d9b92cc196a0d21ba22a0a3ffc1282f78 /ci | |
| parent | 208883243fb9b2ea0d5d668c44b0da1d83850854 (diff) | |
Debug build-socrates.sh
- using `set -euo pipefail` for setting recommended failure-modes - using `set -x` and `echo "$PATH"` to debug my failing build Sidenote: I find BuildKite's documentation quite helpful!
Diffstat (limited to 'ci')
| -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 |