diff options
Diffstat (limited to 't')
-rwxr-xr-x | t | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,5 +1,5 @@ | |||
1 | #!/bin/bash | 1 | #!/bin/bash |
2 | args="-fwarn-unused-imports -rtsopts -DRENDERFLUSH -optP-include -optPdist/build/autogen/cabal_macros.h" | 2 | args="-threaded -fwarn-unused-imports -rtsopts -DRENDERFLUSH -optP-include -optPdist/build/autogen/cabal_macros.h" |
3 | 3 | ||
4 | root=${0%/*} | 4 | root=${0%/*} |
5 | cd "$root" | 5 | cd "$root" |