diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2022-10-14 09:51:08 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2022-10-14 09:51:08 +0200 |
| commit | 0bb8ae15a8ff487df00bc27db67ffa2e587f0eea (patch) | |
| tree | d018f7e0443f730ccab02ab3e4b0e856b9542cb2 /bwrap-files/workdir | |
| parent | cdc4a45d21353ebf9306bd8df83ec287ace7c0e4 (diff) | |
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?
Diffstat (limited to 'bwrap-files/workdir')
0 files changed, 0 insertions, 0 deletions