(contains_dot_dot): Fix double-dot recognition in case of duplicate /. Patch by Dmitr...

diff --git a/src/names.c b/src/names.c
index 69ab00ebf0ebf8c49225138761cb4c8a7129dff6..585ad39ba7238ff6e7583a6afe89c08c6da35923 100644 (file)
--- a/src/names.c
+++ b/src/names.c
@@ -1012,11 +1012,10 @@ contains_dot_dot (char const *name)
       if (p[0] == '.' && p[1] == '.' && (ISSLASH (p[2]) || !p[2]))
        return 1;
 
-      do
+      while (! ISSLASH (*p))
        {
          if (! *p++)
            return 0;
        }
-      while (! ISSLASH (*p));
     }
 }