diff src/defaults.cc @ 3971:41e7fa40ff4c

[project @ 2002-07-02 23:46:48 by jwe]
author jwe
date Tue, 02 Jul 2002 23:46:49 +0000
parents 15a0aa0b6c18
children 301cc4cf87e9
line wrap: on
line diff
--- a/src/defaults.cc	Tue Jul 02 04:14:36 2002 +0000
+++ b/src/defaults.cc	Tue Jul 02 23:46:49 2002 +0000
@@ -415,9 +415,11 @@
     }
   else
     {
-      if (! (s[0] == ':' || s[s.length () - 1] == ':'
-	     || s.find ("::") != NPOS))
-	warning ("LOADPATH will ignore default load path");
+      // I'm not sure whether this causes more problems that it
+      // solves...
+      //      if (! (s[0] == ':' || s[s.length () - 1] == ':'
+      //	     || s.find ("::") != NPOS))
+      //	warning ("LOADPATH will ignore default load path");
 
       Vload_path = s;