diff options
author | fab <fabrice.leal.ch@gmail.com> | 2018-12-17 22:25:59 +0000 |
---|---|---|
committer | fab <fabrice.leal.ch@gmail.com> | 2018-12-17 22:25:59 +0000 |
commit | 757e40719735a45085343e90b53674b9b276b5cb (patch) | |
tree | ff60a93ec1b070ba321539d17f1677b11bb85c29 /src/settings.sml | |
parent | ea79cb9fc1cfbb1418a8c4139200ba4b21dc2318 (diff) |
test 5
Diffstat (limited to 'src/settings.sml')
-rw-r--r-- | src/settings.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/settings.sml b/src/settings.sml index cfbe98a5..8ae2d377 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -32,7 +32,7 @@ val configLib = ref Config.lib val configSrcLib = ref Config.srclib val configInclude = ref Config.includ val configSitelisp = ref Config.sitelisp - +val configIcuLibs = ref Config.icuLibs val configCCompiler = ref Config.ccompiler fun getCCompiler () = !configCCompiler |