diff options
| author | V1K1NGbg <victor@ilchev.com> | 2024-08-03 16:08:58 +0300 |
|---|---|---|
| committer | V1K1NGbg <victor@ilchev.com> | 2024-08-05 20:51:31 +0300 |
| commit | 908303e675ed95591f1b80ff0051c724f893969f (patch) | |
| tree | 53fc4d379ce244a5278bef0322319e637bd10033 | |
| parent | 45b5cfa2183b5d0867d4c9afb53ea835e6056862 (diff) | |
| download | luarocks-908303e675ed95591f1b80ff0051c724f893969f.tar.gz luarocks-908303e675ed95591f1b80ff0051c724f893969f.tar.bz2 luarocks-908303e675ed95591f1b80ff0051c724f893969f.zip | |
patch completed
| -rw-r--r-- | src/luarocks/tools/patch.tl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/luarocks/tools/patch.tl b/src/luarocks/tools/patch.tl index 84de28b7..13ab53e2 100644 --- a/src/luarocks/tools/patch.tl +++ b/src/luarocks/tools/patch.tl | |||
| @@ -31,8 +31,8 @@ local record patch | |||
| 31 | close: function(File): boolean | 31 | close: function(File): boolean |
| 32 | end | 32 | end |
| 33 | record Files | 33 | record Files |
| 34 | source: {string | number} --! | 34 | source: {string} --! |
| 35 | target: {string | number} | 35 | target: {string} |
| 36 | epoch: {boolean} | 36 | epoch: {boolean} |
| 37 | hunks: {{Hunk}} | 37 | hunks: {{Hunk}} |
| 38 | fileends: {Lineends} | 38 | fileends: {Lineends} |
| @@ -737,7 +737,7 @@ function patch.apply_patch(the_patch: Files, strip: integer, create_delete: bool | |||
| 737 | local hunks = the_patch.hunks[fileno] | 737 | local hunks = the_patch.hunks[fileno] |
| 738 | local epoch = the_patch.epoch[fileno] | 738 | local epoch = the_patch.epoch[fileno] |
| 739 | info(string.format("processing %d/%d:\t %s", fileno, total, source)) | 739 | info(string.format("processing %d/%d:\t %s", fileno, total, source)) |
| 740 | local ok = patch_file(tostring(source), tostring(target), epoch, hunks, strip, create_delete) | 740 | local ok = patch_file(source, target, epoch, hunks, strip, create_delete) |
| 741 | all_ok = all_ok and ok | 741 | all_ok = all_ok and ok |
| 742 | end | 742 | end |
| 743 | -- todo: check for premature eof | 743 | -- todo: check for premature eof |