Add isl

[hvlinux.git] / stage1 / pkg / gcc

diff --git a/stage1/pkg/gcc b/stage1/pkg/gcc
index 06f70f5..11a2837 100644 (file)
--- a/stage1/pkg/gcc
+++ b/stage1/pkg/gcc
@@ -34,7 +34,7 @@ hvconfig_post()
 {
     # Prevent GCC from looking in the wrong directories for headers and
     # libraries:
-    sed -e "/^HOST_\(GMP\|CLOOG\)\(LIBS\|INC\)/s:-[IL]/\(lib\|include\)::" \
+    sed -e "/^HOST_\(GMP\|ISL\|CLOOG\)\(LIBS\|INC\)/s:-[IL]/\(lib\|include\)::"\
         -i Makefile
 }