mrspidey integration
original commit: a0750d913741390cd5aec93ddb9c19cdd4e0e569
This commit is contained in:
parent
bc40d08dc6
commit
536f87f7c1
|
@ -15,6 +15,9 @@
|
||||||
; the public names of loaded extensions
|
; the public names of loaded extensions
|
||||||
; default = ""
|
; default = ""
|
||||||
|
|
||||||
|
use-mrspidey ; #t => analyze with MrSpidey
|
||||||
|
; default = #f
|
||||||
|
|
||||||
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