aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Flush stdoutTom Smeding2022-10-14
|
* start.sh: mkdir /tmpTom Smeding2022-10-14
| | | | | This solves an error that GHC can't create /tmp/ghc_4_0 or something. Not sure why I didn't get that before?
* Replace newlines with ; insteadTom Smeding2022-06-27
| | | | Request from geekosaur, original yahb did that too
* Allow debug prints for ghci interaction (when statically enabled)Tom Smeding2022-06-27
|
* Less loggingTom Smeding2022-06-15
|
* Limit disk usageTom Smeding2022-06-14
|
* TimeoutTom Smeding2022-06-14
|
* Cleanup in start.shTom Smeding2022-06-14
|
* Early-catch large show output with -interactive-printTom Smeding2022-06-14
|
* Set memory limit to 500MiBTom Smeding2022-06-14
|
* Main that also allows direct ghci accessTom Smeding2022-06-14
|
* More loggingTom Smeding2022-06-14
|
* InitialTom Smeding2022-06-14