diff -r 7ab148f53d66 -r 35e0355c6d9b scripts/check-compilers --- a/scripts/check-compilers Tue Apr 18 09:14:38 2006 +0000 +++ b/scripts/check-compilers Tue Apr 18 13:25:41 2006 +0000 @@ -58,6 +58,11 @@ ODIR=icc-9.0 CXX=icpc-9.0 CXXFLAGS='-Werror' makecheck --enable-gui --enable-demo --enable-benchmark +ODIR=mingw makecheck --with-msw --target=i586-mingw32msvc --host=i586-mingw32msvc --build=i386-linux --without-glpk + + + + echo echo '**********************************************************************' echo ' REPOSITORY SEEMS OK'