diff --git a/collects/compiler/sig.ss b/collects/compiler/sig.ss
index 22d86a5201..b05ab2db3e 100644
--- a/collects/compiler/sig.ss
+++ b/collects/compiler/sig.ss
@@ -18,6 +18,10 @@
    clean-intermediate-files ; #t => keep intermediate .c/.o files
                             ; default = #f
 
+   compile-subcollections   ; #t => use 'compile-subcollections
+                            ;  from infor for collection compiling
+                            ; default = #t
+
    propagate-constants  ; default = #t
    assume-primitives    ; #t => car = #%car; default = #f
    stupid               ; allow obvious non-syntactic errors;