etc/options
changeset 64308 b00508facb4f
parent 64130 e17c211a0bb6
child 64325 47e03cb99274
     1.1 --- a/etc/options	Tue Oct 18 17:41:56 2016 +0200
     1.2 +++ b/etc/options	Wed Oct 19 14:42:28 2016 +0200
     1.3 @@ -108,6 +108,9 @@
     1.4  option checkpoint : bool = false
     1.5    -- "checkpoint for theories during build process (heap compression)"
     1.6  
     1.7 +option profiling : string = ""
     1.8 +  -- "ML profiling (possible values: time, allocations)"
     1.9 +
    1.10  
    1.11  section "ML System"
    1.12