diff options
author | Joey Hess <joeyh@joeyh.name> | 2020-08-27 23:46:27 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2020-08-27 23:46:27 -0400 |
commit | 333657b15634dfe7c75e6bba2b76bd94eb150c8a (patch) | |
tree | dc43ddea5fa4a871df6e5b18575b12fa1c54a679 /Makefile | |
parent | 7610baa7b8a1491f6781914fad156630ea3716cf (diff) |
Worked around a situation where ghc uses insane amounts of memory displaying an error message about a property of a host having the wrong number of arguments
This is suboptimal, and I hope ghc improves eventually.
But it's a lot better than using all available memory.
This commit was sponsored by Svenne Krap on Patreon.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions