diff options
Diffstat (limited to '')
| -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 234fdc04040c..ba35a1cea426 100755 --- a/Tools/scripts/patchtool.py +++ b/Tools/scripts/patchtool.py @@ -231,7 +231,7 @@ def gendiff(path, wrksrc, outfile = ''): # Automatically generate a name for a patch based on its path relative to # wrksrc. Use simple scheme to ensute 1-to-1 mapping between path and # patchname - replace all '_' with '__' and all '/' with '_'. -# +# def makepatchname(path, patchdir = ''): SRS = Vars.SLASH_REPL_SYMBOL retval = Vars.PATCH_PREFIX + \ |