.
original commit: a6b9a807b7287a4085058a3995ba325b406c7ef5
This commit is contained in:
parent
5800483dfd
commit
2b35989012
|
@ -21,9 +21,8 @@
|
||||||
use-mrspidey-for-units ; #t => per-unit analyze with MrSpidey
|
use-mrspidey-for-units ; #t => per-unit analyze with MrSpidey
|
||||||
; default = #f
|
; default = #f
|
||||||
|
|
||||||
lightweight ; #t => perform lightweight closure conversion
|
lightweight ; #t => perform lightweight closure conversion;
|
||||||
; on MrSpidey-analyzed code
|
; default = #f
|
||||||
; default = #t
|
|
||||||
|
|
||||||
clean-intermediate-files ; #t => keep intermediate .c/.o files
|
clean-intermediate-files ; #t => keep intermediate .c/.o files
|
||||||
; default = #f
|
; default = #f
|
||||||
|
|
Loading…
Reference in New Issue
Block a user