diff options
author | Adam Chlipala <adam@chlipala.net> | 2016-01-02 10:44:03 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2016-01-02 10:44:03 -0500 |
commit | d47ffbc86c1cafb041588ab0ea7540c538196cb9 (patch) | |
tree | bb4af40404463ab02504a0bc219d994bed28ad7a /src/settings.sml | |
parent | aa3e615e84e3e8844fd5537ef84c38d5d18298ab (diff) | |
parent | 2db6f2680dc91cd32b7c76e354bc39fe5192c857 (diff) |
Merge branch 'master' of ssh://github.com/urweb/urweb
Diffstat (limited to 'src/settings.sml')
-rw-r--r-- | src/settings.sml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/settings.sml b/src/settings.sml index 94692a2e..38ea30fc 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -686,6 +686,10 @@ val staticLinking = ref false fun setStaticLinking b = staticLinking := b fun getStaticLinking () = !staticLinking +val bootLinking = ref false +fun setBootLinking b = bootLinking := b +fun getBootLinking () = !bootLinking + val deadlines = ref false fun setDeadlines b = deadlines := b fun getDeadlines () = !deadlines |