remove config.cache when CLEAN is set
authorEnrico Scholz <enrico.scholz@informatik.tu-chemnitz.de>
Sun, 24 Apr 2005 20:16:54 +0000 (20:16 +0000)
committerEnrico Scholz <enrico.scholz@informatik.tu-chemnitz.de>
Sun, 24 Apr 2005 20:16:54 +0000 (20:16 +0000)
disabled gcc33 build

git-svn-id: http://svn.linux-vserver.org/svn/util-vserver/trunk@2033 94cd875c-1c1d-0410-91d2-eb244daf1a30

util-vserver/build-all

index 9867583..b994413 100755 (executable)
@@ -47,6 +47,7 @@ function operate()
     
     mkdir -p $d && cd $d
 
+    test -z "$CLEAN" || rm -f config.cache
     test -e Makefile || $configure "$@"
     $make
     cd -
@@ -88,4 +89,4 @@ operate Build/diet-opt     --enable-release                    CPPFLAGS=$CPPFLAG
 operate Build/nodiet-noopt --disable-dietlibc                  CPPFLAGS=$CPPFLAGS CFLAGS='-O0 -g3' CXXFLAGS='-O0 -g3' 
 operate Build/nodiet-opt   --enable-release --disable-dietlibc CPPFLAGS=$CPPFLAGS
 operate Build/gcc32-opt    --enable-release --disable-dietlibc CPPFLAGS=$CPPFLAGS CC='ccache gcc32'  CXX='ccache g++'
-operate Build/gcc33-opt    --enable-release --disable-dietlibc CPPFLAGS=$CPPFLAGS CC='ccache gcc33'  CXX='ccache g++33'
+#operate Build/gcc33-opt    --enable-release --disable-dietlibc CPPFLAGS=$CPPFLAGS CC='ccache gcc33'  CXX='ccache g++33'