diff src/defaults.cc @ 3967:15a0aa0b6c18

[project @ 2002-06-29 03:14:20 by jwe]
author jwe
date Sat, 29 Jun 2002 03:14:20 +0000
parents 26662775f4e9
children 41e7fa40ff4c
line wrap: on
line diff
--- a/src/defaults.cc
+++ b/src/defaults.cc
@@ -415,6 +415,10 @@
     }
   else
     {
+      if (! (s[0] == ':' || s[s.length () - 1] == ':'
+	     || s.find ("::") != NPOS))
+	warning ("LOADPATH will ignore default load path");
+
       Vload_path = s;
 
       Vload_path_dir_path = dir_path (Vload_path, Vdefault_load_path);