parent
0150fc24ed
commit
5730650642
|
@ -9,7 +9,9 @@
|
||||||
|
|
||||||
;; Compiler options
|
;; Compiler options
|
||||||
(define-signature compiler:option^
|
(define-signature compiler:option^
|
||||||
(verbose ; default = #f
|
(somewhat-verbose ; default = #f
|
||||||
|
verbose ; default = #f
|
||||||
|
|
||||||
|
|
||||||
setup-prefix ; string to embed in public names;
|
setup-prefix ; string to embed in public names;
|
||||||
; used mainly for compiling extensions
|
; used mainly for compiling extensions
|
||||||
|
|
Loading…
Reference in New Issue
Block a user