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 |
