minor thing - rename settings file for script
This commit is contained in:
parent
519a3854da
commit
5466849e33
|
@ -55,7 +55,7 @@ extra-doc-files: CHANGELOG.md
|
||||||
-- extra-source-files:
|
-- extra-source-files:
|
||||||
|
|
||||||
common warnings
|
common warnings
|
||||||
ghc-options: -Wall -rtsopts
|
ghc-options: -Wall -rtsopts -threaded -dynamic -O2
|
||||||
|
|
||||||
executable chan-delorean
|
executable chan-delorean
|
||||||
-- Import common warning flags.
|
-- Import common warning flags.
|
||||||
|
|
Loading…
Reference in New Issue