diff -r 88020b2c3246 -r a1370757e6a1 scripts/build/companion_libs/cloog.sh
--- a/scripts/build/companion_libs/cloog.sh	Tue Jan 12 19:24:03 2010 +0100
+++ b/scripts/build/companion_libs/cloog.sh	Wed Feb 17 23:47:47 2010 +0100
@@ -8,7 +8,7 @@
 do_cloog_target() { :; }
 
 # Overide functions depending on configuration
-if [ "${CT_PPL_CLOOG_MPC}" = "y" ]; then
+if [ "${CT_CLOOG}" = "y" ]; then
 
 # Download CLooG
 do_cloog_get() {
@@ -78,4 +78,4 @@
     CT_EndStep
 }
 
-fi # CT_PPL_CLOOG_MPC
+fi # CT_CLOOG