drop . when trying to determine if directory prefixes match
commit5365590bf9e8b5b611e14ade69e935f303727188
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateTue 16 Jul 2019, 16:14 (7 years ago)
parent243dcc6
builder/src/Build.hs+6−2
@@ -1034,10 +1034,14 @@ dropPrefix roots paths =
10341034 [] ->
10351035 Just paths
10361036
1037+ ".":rs ->
1038+ dropPrefix rs paths
1039+
10371040 r:rs ->
10381041 case paths of
1039− [] -> Nothing
1040− p:ps -> if r == p then dropPrefix rs ps else Nothing
1042+ [] -> Nothing
1043+ ".":ps -> dropPrefix roots ps
1044+ p:ps -> if r == p then dropPrefix rs ps else Nothing
10411045
10421046
10431047