etc/options
changeset 63827 b24d0e53dd03
parent 62886 72c475e03e22
child 63986 c7a4b03727ae
     1.1 --- a/etc/options	Thu Sep 08 10:35:08 2016 +0200
     1.2 +++ b/etc/options	Thu Sep 08 18:18:57 2016 +0200
     1.3 @@ -105,6 +105,9 @@
     1.4  option process_output_tail : int = 40
     1.5    -- "build process output tail shown to user (in lines, 0 = unlimited)"
     1.6  
     1.7 +option checkpoint : bool = false
     1.8 +  -- "checkpoint for theories during build process (heap compression)"
     1.9 +
    1.10  
    1.11  section "ML System"
    1.12