Change the compilation flag at release make distcheck.
(This setting is probably indifferent, though.)
    11 make-dir check-compilers-dir
 
    12 cd check-compilers-dir
 
    14 svn co https://hugo.cs.elte.hu/svn/hugo/trunk ||
 
    15 (echo '*************************************************************';
 
    16 echo '   REPOSITORY CANNOT BE UPDATED'
 
    17 echo '*************************************************************')
 
    20 VERSION=r`svn info trunk|grep 'Revision:'|cut -d ' ' -f 2`
 
    22 DISTNAME=${NAME}-$VERSION
 
    23 TARNAME=${DISTNAME}.tar.gz
 
    25 function makecheck () {
 
    26     if [ `which $CXX` ]; then
 
    29 	time ../trunk/configure $*
 
    34 	echo '***************************************************************'
 
    35 	echo "  COMPILER $CXX CANNOT BE FOUND"
 
    36 	echo '***************************************************************'
 
    44 ./bootstrap --amver=1.7
 
    49 ODIR=gcc-3.3 CXX=g++-3.3 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
 
    53 ODIR=gcc-4.0 CXX=g++-4.0 CXXFLAGS='-W -Wall -Werror' makecheck --enable-gui --enable-demo --enable-benchmark
 
    55 # ODIR=icc-8.0 CXX=icpc-8.0 CXXFLAGS='-Werror' makecheck --enable-gui --enable-demo --enable-benchmark
 
    57 ODIR=icc-9.0 CXX=icpc-9.0 CXXFLAGS='-Werror' makecheck --enable-gui --enable-demo --enable-benchmark
 
    60 echo '**********************************************************************'
 
    61 echo '   REPOSITORY SEEMS OK'
 
    62 echo '**********************************************************************'