diff options
author | stuebinm | 2021-11-14 21:26:46 +0100 |
---|---|---|
committer | stuebinm | 2021-11-14 21:26:46 +0100 |
commit | 8fc10996e17ba164dc8e29d77efd03113a1f63f0 (patch) | |
tree | 7dc755cc80981388f82b96e11b0555177a26bde0 /lib/LintConfig.hs | |
parent | bb5277dc5b492e0e27777f7eb42c54b45c66835a (diff) |
config options: implement script-related options
Diffstat (limited to 'lib/LintConfig.hs')
-rw-r--r-- | lib/LintConfig.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/LintConfig.hs b/lib/LintConfig.hs index 28559bd..5596005 100644 --- a/lib/LintConfig.hs +++ b/lib/LintConfig.hs @@ -38,6 +38,8 @@ data LintConfig f = LintConfig -- ^ Maximum warn level allowed before the lint fails , configDontCopyAssets :: HKD f Bool -- ^ Don't copy map assets (mostly useful for development) + , configAllowScripts :: HKD f Bool + -- ^ Allow defining custom scripts in maps } deriving (Generic) type LintConfig' = LintConfig Identity |