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 8ae9ba0e75d2..be0b96efd282 100755 --- a/Tools/scripts/patchtool.py +++ b/Tools/scripts/patchtool.py @@ -558,7 +558,7 @@ def generate(args, automatic, force, ignoremtime): if os.path.isdir(patchdir): patches.adddir(patchdir, wrksrc) - extra_patches = querymakevar('EXTRA_PATCHES', portdir, True) + extra_patches = querymakevar('EXTRA_PATCHES', portdir, False) for extra_patch in extra_patches.split(): if os.path.isfile(extra_patch): patches.addpatchfile(extra_patch, wrksrc) |