Fix bug: previous loader depended on MITSCHEME_INF_DIRECTORY being

set.  I used to set this and didn't notice, but these days I don't set
it.

diff --git a/v7/src/etc/optiondb.scm b/v7/src/etc/optiondb.scm
index 61c63b84e4200968d133aff52778ed33d9442483..a486e842fc953f42c35945399a47b59f3b9a8df9 100644 (file)
--- a/v7/src/etc/optiondb.scm
+++ b/v7/src/etc/optiondb.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: optiondb.scm,v 1.6 2001/04/30 02:44:35 cph Exp $
+$Id: optiondb.scm,v 1.7 2001/04/30 02:45:59 cph Exp $
 
 Copyright (c) 2000-2001 Massachusetts Institute of Technology
 
@@ -33,8 +33,7 @@ USA.
                     (list d)
                     '()))
             "/usr/local/scheme/linux"
-            "/scheme/v7/linux")
-          (cons here)))
+            "/scheme/v7/linux")))
        (files
         (if (default-object? filename)
             (list "make" "load")