diff options
author | William Carroll <wpcarro@gmail.com> | 2020-08-17T09·44+0100 |
---|---|---|
committer | William Carroll <wpcarro@gmail.com> | 2020-08-20T10·26+0100 |
commit | 42efb3b08a489938f6aea96adb3bc928b6317773 (patch) | |
tree | a12a6bcb1d854559130b39fb2bd0d4372348e58e /ci | |
parent | 1bb32b1bcc6cc6f258d745bd51cf919c1ca4700e (diff) |
Support build-briefcase.sh
For now, I'm supporting two CI pipelines: - build-socrates - build-briefcase Conceptually, build-briefcase should cover what build-socrates does now, but eventually I would like build-socrates to call `switch-to-configuration` so that all of my websites, etc. stay fresh.
Diffstat (limited to 'ci')
-rw-r--r-- | ci/scripts/build-briefcase.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ci/scripts/build-briefcase.sh b/ci/scripts/build-briefcase.sh new file mode 100644 index 000000000000..dfe8286502d5 --- /dev/null +++ b/ci/scripts/build-briefcase.sh @@ -0,0 +1,6 @@ +set -euo pipefail + +nix-build . \ + -I briefcase="$(pwd)" \ + -I nixpkgs=/home/wpcarro/nixpkgs-channel \ + --show-trace |