Merge remote-tracking branch 'origin/master' into github-api-token

2020-09-25 12:10:58 -04:00
parent a303c0b6dc 7d81582488
commit faa5607f54
82 changed files with 979 additions and 753 deletions
@@ -614,8 +614,7 @@ Path resolveExprPath(Path path)
        // Basic cycle/depth limit to avoid infinite loops.
        if (++followCount >= maxFollow)
            throw Error("too many symbolic links encountered while traversing the path '%s'", path);
-        if (lstat(path.c_str(), &st))
-            throw SysError("getting status of '%s'", path);
+        st = lstat(path);
        if (!S_ISLNK(st.st_mode)) break;
        path = absPath(readLink(path), dirOf(path));
    }