-Passage à udev-182 et à /dev intégré au kernel.

[hvlinux.git] / stage0 / pkg / gcc

diff --git a/stage0/pkg/gcc b/stage0/pkg/gcc
index 433e601..24ee1ef 100644 (file)
--- a/stage0/pkg/gcc
+++ b/stage0/pkg/gcc
@@ -37,6 +37,7 @@ hvconfig_pre()
         --with-gmp=/cross-tools \
         --with-ppl=/cross-tools \
         --with-cloog=/cross-tools \
+        --enable-cloog-backend=isl \
         --disable-multilib"
 
     if [ "x${HVLABEL}" = "x${GCC}-pass1" ]; then