diff -r 22e495b7bee8 -r 172b72d597f9 scripts/build/companion_libs/cloog.sh
--- a/scripts/build/companion_libs/cloog.sh	Sun Jul 24 23:53:14 2011 +0200
+++ b/scripts/build/companion_libs/cloog.sh	Tue Jul 17 22:39:53 2012 +0200
@@ -64,7 +64,7 @@
     CT_mkdir_pushd "${CT_BUILD_DIR}/build-cloog-ppl-host-${CT_HOST}"
 
     cloog_opts+=( "host=${CT_HOST}" )
-    cloog_opts+=( "prefix=${CT_COMPLIBS_DIR}" )
+    cloog_opts+=( "prefix=${CT_HOST_COMPLIBS_DIR}" )
     cloog_opts+=( "cflags=${CT_CFLAGS_FOR_HOST}" )
     do_cloog_backend "${cloog_opts[@]}"