From f3a264e8e0b19b3a44285595bdc81c417c3f1fe0 Mon Sep 17 00:00:00 2001
From: Philip Monk <phil@pcmonk.me>
Date: Wed, 10 Nov 2021 01:30:30 -0800
Subject: [PATCH] ci: wait for pier to close before moving

---
 nix/lib/boot-fake-ship.nix | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/nix/lib/boot-fake-ship.nix b/nix/lib/boot-fake-ship.nix
index 610f9f0e70..9a5d01ea95 100644
--- a/nix/lib/boot-fake-ship.nix
+++ b/nix/lib/boot-fake-ship.nix
@@ -41,6 +41,10 @@ in stdenvNoCC.mkDerivation {
     if check && sleep 10 && check; then
       header "boot success"
       herb ./pier -p hood -d '+hood/exit'
+      while [ -f ./pier/.vere.lock ]; do
+        echo "waiting for pier to shut down"
+        sleep 5
+      done
     else
       header "boot failure"
       kill $(< ./pier/.vere.lock) || true
@@ -49,6 +53,8 @@ in stdenvNoCC.mkDerivation {
   '';
 
   installPhase = ''
+    ls
+    ls -a ./pier
     mv ./pier $out
   '';
 }