Formerly file.c.~9~

diff --git a/file.c b/file.c
index 95c836e..ea0dae2 100644 (file)
--- a/file.c
+++ b/file.c
@@ -1,4 +1,4 @@
-/* Copyright (C) 1988, 1989, 1990, 1991 Free Software Foundation, Inc.
+/* Copyright (C) 1988, 1989, 1990, 1991, 1992 Free Software Foundation, Inc.
 This file is part of GNU Make.
 
 GNU Make is free software; you can redistribute it and/or modify
@@ -79,6 +79,12 @@ enter_file (name)
   if (*name == '\0')
     abort ();
 
+  /* This is also done in parse_file_seq, so this is redundant
+     for names read from makefiles.  It is here for names passed
+     on the command line.  */
+  while (name[0] == '.' && name[1] == '/' && name[2] != '\0')
+    name += 2;
+
   hashval = 0;
   for (n = name; *n != '\0'; ++n)
     HASH (hashval, *n);