prepare for multi-CI

split things out so more can be shared between CIs
2026-01-11 20:30:37 -05:00 · 2019-02-06 11:56:31 +01:00
parent 7a8122c5f4
commit 6b517528ee
7 changed files with 53 additions and 45 deletions
--- a/6
+++ b/6
@@ -1,6 +1,8 @@
-#!/bin/sh -eu
+#!/usr/bin/env bash
+set -euo pipefail

 # build *all* the docker images
-nix-build release.nix \
+exec nix-build release.nix \
  --no-out-link \
+  --option sandbox true \
  "$@"