awk: treat \r as a space character to skip

1 files changed, 4 insertions, 0 deletions

diff --git a/editors/awk.c b/editors/awk.c
index d0e3781e7..3d2183e5e 100644
--- a/editors/awk.c
+++ b/editors/awk.c
@@ -723,7 +723,11 @@ static char *skip_spaces(char *p)
                 if (*p == '\\' && p[1] == '\n') {
                         p++;
                         t_lineno++;
+#if !ENABLE_PLATFORM_MINGW32
                 } else if (*p != ' ' && *p != '\t') {
+#else
+                } else if (*p != ' ' && *p != '\t' && *p != '\r') {
+#endif
                         break;
                 }
                 p++;