Cygwin gcc do not accept -mno-cygwin anymore

As far as I understand, the standard gcc in cygwin is not able anymore to build
non cygwin executable. There is instead a special package with a special gcc that
compiles executable that can be used out of cygwin.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15907 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 4 deletions

diff --git a/configure b/configure
index 165a69cea..56d118697 100755
--- a/configure
+++ b/configure
@@ -594,16 +594,13 @@ esac
 # OS dependent libraries
 
 OSDEPLIBS="-cclib -lunix"
-case $ARCH,$CYGWIN in
+case $ARCH in
   sun4*) OS=`uname -r`
 	case $OS in
 	   5*) OS="Sun Solaris $OS"
 	       OSDEPLIBS="$OSDEPLIBS -cclib -lnsl -cclib -lsocket";;
 	   *) OS="Sun OS $OS"
         esac;;
-  win32,yes) OS="Win32 (Cygwin)"
-	 cflags="-mno-cygwin $cflags";;
-  win32,*) OS="Win32 (MinGW)";;
 esac
 
 # lablgtk2 and CoqIDE