summaryrefslogtreecommitdiff
path: root/build-os
diff options
context:
space:
mode:
authorPhilip J Freeman <elektron@halo.nu>2026-04-28 22:53:17 -0700
committerPhilip J Freeman <elektron@halo.nu>2026-04-28 22:53:17 -0700
commit69ab83554efb0aaae69fb469d11a8a8faf4b7c45 (patch)
tree41b02bf25637673695e4b52976c2430e64e67d89 /build-os
parent3f32def2e2a8df3eb0f81597092b375a27765be4 (diff)
To: 72f96fb792b373276aded94500e9bb8bb682f60c94d748477a368e16e31fcc09
Diffstat (limited to 'build-os')
-rwxr-xr-xbuild-os1
1 files changed, 1 insertions, 0 deletions
diff --git a/build-os b/build-os
index 652ea09..930ce3f 100755
--- a/build-os
+++ b/build-os
@@ -18,6 +18,7 @@ function unmount_pseudo_filesystems(){
function on_exit(){
set +e
+ sleep 2 # wait for things to settle...
unmount_pseudo_filesystems
}
trap on_exit EXIT