.
original commit: 1f7dc0cfc45cda4d181a049246dd720cc135d67d
This commit is contained in:
parent
2614f4064c
commit
32cc78b2c8
|
@ -20,15 +20,6 @@
|
|||
; the public names of loaded extensions
|
||||
; default = ""
|
||||
|
||||
use-mrspidey ; #t => whole-program analyze with MrSpidey
|
||||
; default = #f
|
||||
|
||||
use-mrspidey-for-units ; #t => per-unit analyze with MrSpidey
|
||||
; default = #f
|
||||
|
||||
lightweight ; #t => perform lightweight closure conversion;
|
||||
; default = #f
|
||||
|
||||
clean-intermediate-files ; #t => keep intermediate .c/.o files
|
||||
; default = #f
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user