diff options
Diffstat (limited to 'g')
-rwxr-xr-x | g | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -13,7 +13,7 @@ done | |||
13 | 13 | ||
14 | warn="-freverse-errors -fwarn-unused-imports -Wmissing-signatures -fdefer-typed-holes" | 14 | warn="-freverse-errors -fwarn-unused-imports -Wmissing-signatures -fdefer-typed-holes" |
15 | exts="-XOverloadedStrings -XRecordWildCards" | 15 | exts="-XOverloadedStrings -XRecordWildCards" |
16 | defs="-DBENCODE_AESON -DTHREAD_DEBUG" | 16 | defs="-DBENCODE_AESON -DTHREAD_DEBUG -UVERSION_lens" |
17 | hidden="crypto-random crypto-api crypto-numbers cryptohash prettyclass" | 17 | hidden="crypto-random crypto-api crypto-numbers cryptohash prettyclass" |
18 | [ "$rootname" == "stack" ] && hidden="" | 18 | [ "$rootname" == "stack" ] && hidden="" |
19 | hide="" | 19 | hide="" |