diff options
author | Alberto Ruiz <aruiz@um.es> | 2011-03-09 10:12:50 +0000 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2011-03-09 10:12:50 +0000 |
commit | b2ed85d1e96afc2d8c9c60346fe3583fcbcb05b2 (patch) | |
tree | 5b9c18a061c3710494792c119761ea7267e1b6e0 /Config.hs | |
parent | 8a1a04f10e37af280e4fa640c3f66f93d6f16004 (diff) |
DFINIT for ghc-7.0.2
Diffstat (limited to 'Config.hs')
-rw-r--r-- | Config.hs | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -142,3 +142,4 @@ mainOk bInfo = do | |||
142 | if g | 142 | if g |
143 | then "" | 143 | then "" |
144 | else "cc-options: -DGSL110\n" | 144 | else "cc-options: -DGSL110\n" |
145 | |||