diff options
| -rwxr-xr-x | buildtools/configure.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/buildtools/configure.pl b/buildtools/configure.pl index fc0a23ce..910a18d2 100755 --- a/buildtools/configure.pl +++ b/buildtools/configure.pl @@ -478,10 +478,10 @@ sub getPlatform() { print("Which of the following best describes your platform?\n"); print("gnu GNU/Linux\n"); + print("win Windows/DOS (Cygwin, DJGPP, Mingw32)\n"); print("sun Solaris or SunOS\n"); print("hp HP-UX\n"); print("aix AIX\n"); - print("win Windows/DOS (Cygwin, DJGPP, Mingw32)\n"); print("tru64 Tru64\n"); print("irix Irix\n"); print("bsd NetBSD, BSD/OS\n"); |