diff options
Diffstat (limited to 'g')
-rwxr-xr-x | g | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ | |||
2 | 2 | ||
3 | rootname=$(cat /etc/debian_chroot 2>/dev/null) | 3 | rootname=$(cat /etc/debian_chroot 2>/dev/null) |
4 | echo $PATH | grep '\.stack' >/dev/null && rootname="stack" | 4 | echo $PATH | grep '\.stack' >/dev/null && rootname="stack" |
5 | BUILDB=build/b | 5 | BUILDB=.stack-work/dist/x86_64-linux/Cabal-2.0.1.0/build |
6 | 6 | ||
7 | warn="-freverse-errors -fwarn-unused-imports -Wmissing-signatures -fdefer-typed-holes" | 7 | warn="-freverse-errors -fwarn-unused-imports -Wmissing-signatures -fdefer-typed-holes" |
8 | exts="-XOverloadedStrings -XRecordWildCards" | 8 | exts="-XOverloadedStrings -XRecordWildCards" |