scripts/check-compilers
changeset 2062 35e0355c6d9b
parent 2007 a9959afc29a3
child 2279 2c3fee01d3ed
     1.1 --- a/scripts/check-compilers	Tue Apr 18 09:14:38 2006 +0000
     1.2 +++ b/scripts/check-compilers	Tue Apr 18 13:25:41 2006 +0000
     1.3 @@ -58,6 +58,11 @@
     1.4  
     1.5  ODIR=icc-9.0 CXX=icpc-9.0 CXXFLAGS='-Werror' makecheck --enable-gui --enable-demo --enable-benchmark
     1.6  
     1.7 +ODIR=mingw makecheck --with-msw --target=i586-mingw32msvc --host=i586-mingw32msvc --build=i386-linux --without-glpk
     1.8 +
     1.9 +
    1.10 +
    1.11 +
    1.12  echo
    1.13  echo '**********************************************************************'
    1.14  echo '   REPOSITORY SEEMS OK'