scripts/check-compilers
changeset 2039 dacc4ce9474d
parent 1944 89d5cf6e6abb
child 2062 35e0355c6d9b
equal deleted inserted replaced
3:265abef3da2d 4:8b336ef258b9
    50 
    50 
    51 ODIR=gcc-3.4 CXX=g++-3.4 CXXFLAGS='-W -Wall -Werror' makecheck --enable-gui --enable-demo --enable-benchmark
    51 ODIR=gcc-3.4 CXX=g++-3.4 CXXFLAGS='-W -Wall -Werror' makecheck --enable-gui --enable-demo --enable-benchmark
    52 
    52 
    53 ODIR=gcc-4.0 CXX=g++-4.0 CXXFLAGS='-W -Wall -Werror' makecheck --enable-gui --enable-demo --enable-benchmark
    53 ODIR=gcc-4.0 CXX=g++-4.0 CXXFLAGS='-W -Wall -Werror' makecheck --enable-gui --enable-demo --enable-benchmark
    54 
    54 
       
    55 ODIR=gcc-4.1 CXX=g++-4.1 CXXFLAGS='-W -Wall -Werror' makecheck --enable-gui --enable-demo --enable-benchmark
       
    56 
    55 # ODIR=icc-8.0 CXX=icpc-8.0 CXXFLAGS='-Werror' makecheck --enable-gui --enable-demo --enable-benchmark
    57 # ODIR=icc-8.0 CXX=icpc-8.0 CXXFLAGS='-Werror' makecheck --enable-gui --enable-demo --enable-benchmark
    56 
    58 
    57 ODIR=icc-9.0 CXX=icpc-9.0 CXXFLAGS='-Werror' makecheck --enable-gui --enable-demo --enable-benchmark
    59 ODIR=icc-9.0 CXX=icpc-9.0 CXXFLAGS='-Werror' makecheck --enable-gui --enable-demo --enable-benchmark
    58 
    60 
    59 echo
    61 echo