Merge pull request #6393 from urbit/i/6392/fix-ci-dash-c

ci: use `-c` in `bootFakeShip`
This commit is contained in:
Pyry Kovanen 2023-03-15 14:32:42 +02:00 committed by GitHub
commit 596fea8c2a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -17,7 +17,7 @@ in stdenvNoCC.mkDerivation {
buildPhase = ''
set -xeuo pipefail
${arvo}/vere.jam ${lib.concatStringsSep " " args} ./pier
${arvo}/vere.jam ${lib.concatStringsSep " " args} -c ./pier
cleanup () {
if [ -f ./pier/.vere.lock ]; then