diff options
| author | Thomas Wolf <twolf@apache.org> | 2022-07-30 00:27:49 +0200 |
|---|---|---|
| committer | Thomas Wolf <twolf@apache.org> | 2022-08-03 07:42:27 +0200 |
| commit | 8184683f7e8d0e62bb70ff27af92dcc2d7332939 (patch) | |
| tree | ea2bbcb361f919369ce49efa22680e06f299c418 /org.eclipse.jgit/.settings | |
| parent | 59e8bec6e7705a89b5d0b9c6ac004b323ffa16b0 (diff) | |
| download | jgit-8184683f7e8d0e62bb70ff27af92dcc2d7332939.tar.gz jgit-8184683f7e8d0e62bb70ff27af92dcc2d7332939.zip | |
CleanCommand: fix prefix matching
String.startsWith() is not a valid test for file path prefixes:
directory "a" is _not_ a prefix of a file "ab", only of "a/b".
Add a proper Paths.isEqualOrPrefix() method and use it in CleanCommand.
Bug: 580478
Change-Id: I6863e6ba94a8ffba6561835cc57044a0945d2770
Signed-off-by: Thomas Wolf <twolf@apache.org>
Diffstat (limited to 'org.eclipse.jgit/.settings')
| -rw-r--r-- | org.eclipse.jgit/.settings/.api_filters | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters index 8aa84f3ac1..4af7adc72b 100644 --- a/org.eclipse.jgit/.settings/.api_filters +++ b/org.eclipse.jgit/.settings/.api_filters @@ -83,4 +83,11 @@ </message_arguments> </filter> </resource> + <resource path="src/org/eclipse/jgit/util/Paths.java" type="org.eclipse.jgit.util.Paths"> + <filter id="337768515"> + <message_arguments> + <message_argument value="org.eclipse.jgit.util.Paths"/> + </message_arguments> + </filter> + </resource> </component> |