diff options
-rw-r--r-- | editors/diff.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/diff.c b/editors/diff.c index beea3e618..929beb054 100644 --- a/editors/diff.c +++ b/editors/diff.c | |||
@@ -1039,7 +1039,7 @@ int diff_main(int argc UNUSED_PARAM, char **argv) | |||
1039 | * single NFS file system, if a local device number (st_dev) exceeds | 1039 | * single NFS file system, if a local device number (st_dev) exceeds |
1040 | * 255, or if a local inode number (st_ino) exceeds 16777215. | 1040 | * 255, or if a local inode number (st_ino) exceeds 16777215. |
1041 | */ | 1041 | */ |
1042 | if (ENABLE_DESKTOP | 1042 | if (ENABLE_DESKTOP && !ENABLE_PLATFORM_MINGW32 |
1043 | && stb[0].st_ino == stb[1].st_ino | 1043 | && stb[0].st_ino == stb[1].st_ino |
1044 | && stb[0].st_dev == stb[1].st_dev | 1044 | && stb[0].st_dev == stb[1].st_dev |
1045 | && stb[0].st_size == stb[1].st_size | 1045 | && stb[0].st_size == stb[1].st_size |