diff options
-rw-r--r-- | editors/patch.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/editors/patch.c b/editors/patch.c index f65bbf4f9..65b8f659b 100644 --- a/editors/patch.c +++ b/editors/patch.c | |||
@@ -121,6 +121,10 @@ int patch_main(int argc, char **argv) | |||
121 | 121 | ||
122 | /* Extract the filename used before the patch was generated */ | 122 | /* Extract the filename used before the patch was generated */ |
123 | original_filename = extract_filename(patch_line, patch_level); | 123 | original_filename = extract_filename(patch_line, patch_level); |
124 | #ifdef __MINGW32__ | ||
125 | if (!strcmp(original_filename, "/dev/null")) | ||
126 | original_filename = "nul"; | ||
127 | #endif | ||
124 | free(patch_line); | 128 | free(patch_line); |
125 | 129 | ||
126 | patch_line = xmalloc_fgets(patch_file); | 130 | patch_line = xmalloc_fgets(patch_file); |