Add option for CREF.

diff --git a/v7/dist/optiondb.scm b/v7/dist/optiondb.scm
index e431865f5b476a72018abc98ca0cb5368bafaaa3..0785e690cd0daebb2067867bfdebca381c062b24 100644 (file)
--- a/v7/dist/optiondb.scm
+++ b/v7/dist/optiondb.scm
@@ -21,6 +21,9 @@
                       ((test "load") "load")
                       (else (error "Can't find loader.")))))))))))
 
+(define-load-option 'CREF
+  (guarded-system-loader '(cross-reference) "cref"))
+
 (define-load-option 'SOS
   (guarded-system-loader '(runtime object-system) "sos"))