Remove ppl
[hvlinux.git] / stage0 / pkg / gcc
index 52bea6e..0fd6795 100644 (file)
@@ -15,7 +15,6 @@ hvconfig_pre()
         --disable-nls \
         --with-mpfr=/cross-tools \
         --with-gmp=/cross-tools \
-        --with-ppl=/cross-tools \
         --with-cloog=/cross-tools \
         --enable-cloog-backend=isl \
         --disable-multilib"