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 /README.md | |
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 'README.md')
0 files changed, 0 insertions, 0 deletions