Yes, I _JUST_ realized this myself. I tried using diff -w and got the
same results.
Very curious. This is a bug in make; it's getting the command name
wrong somehow, for the MINGW port... yeah, this code is wrong:
#ifdef WINDOWS32
if (program == 0)
{
/* Extract program from full path */
int argv0_len;
char *p = strrchr (argv[0], '\\');
if (!p)
p = argv[0];
argv0_len = strlen(p);
if (argv0_len > 4
&& streq (&p[argv0_len - 4], ".exe"))
{
/* Remove .exe extension */
p[argv0_len - 4] = '\0';
/* Increment past the initial '\' */
program = p + 1;
}
}
#endif
Let me look at this a minute.