3 #OPTIONS="--disable-optimization --enable-debug"
6 #OPTIONS="$OPTIONS --enable-timelimit=120"
7 OPTIONS="$OPTIONS --enable-optimization=2"
8 #OPTIONS="$OPTIONS --enable-optimization=3 --enable-g5opt"
9 #OPTIONS="$OPTIONS --disable-optimization"
10 OPTIONS="$OPTIONS --disable-debug"
11 OPTIONS="$OPTIONS --with-vimage"
16 #distcc --version && {
24 [ -e configure ] || ./bootstrap || exit 1
26 [ -d $BUILDDIR ] && rm -fr $BUILDDIR
32 echo ../configure $OPTIONS CC="$CC" CXX="$CXX"
34 ../configure $OPTIONS CC="$CC" CXX="$CXX" || exit 1
36 make package $MAKEFLAGS