From 0bb8ae15a8ff487df00bc27db67ffa2e587f0eea Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Fri, 14 Oct 2022 09:51:08 +0200
Subject: start.sh: mkdir /tmp

This solves an error that GHC can't create /tmp/ghc_4_0 or something.
Not sure why I didn't get that before?
---
 bwrap-files/start.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'bwrap-files')

diff --git a/bwrap-files/start.sh b/bwrap-files/start.sh
index 31f55d1..08f3d7e 100755
--- a/bwrap-files/start.sh
+++ b/bwrap-files/start.sh
@@ -13,6 +13,7 @@ args=(
   # Note: this --size option is implemented in
   #   https://github.com/containers/bubblewrap/pull/509
   --size 10485760 --tmpfs /
+  --dir /tmp
   --ro-bind "${chroot}/bin" /bin
   --ro-bind "${chroot}/usr/bin" /usr/bin
   --ro-bind "${chroot}/usr/lib" /usr/lib
-- 
cgit v1.2.3-70-g09d2