diff options
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/scripts/patchtool.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/patchtool.py b/Tools/scripts/patchtool.py index 845a7ff92c6c..7cbeb1d67bc8 100755 --- a/Tools/scripts/patchtool.py +++ b/Tools/scripts/patchtool.py @@ -155,7 +155,7 @@ def querymakevar(varname, path = 'Makefile', strict = False, cache = {}): # def getrelpath(path, wrksrc): path = os.path.abspath(path) - wrksrc = os.path.abspath(wrksrc) + wrksrc = os.path.abspath(wrksrc) + '/' commonpart = os.path.commonprefix((path, wrksrc)) while commonpart[-1:] != '/': commonpart = commonpart[:-1] |