diff -r b23f3c2e0c73 -r 7995942261f2 scripts/build/companion_libs/cloog.sh
--- a/scripts/build/companion_libs/cloog.sh	Mon May 25 18:22:26 2009 +0000
+++ b/scripts/build/companion_libs/cloog.sh	Mon May 25 19:46:58 2009 +0000
@@ -46,7 +46,7 @@
     CT_DoLog EXTRA "Building CLooG/ppl"
     CT_DoExecLog ALL make ${PARALLELMFLAGS}
 
-    if [ "${CT_CLOOG_CHECK}" = "y" ]; then
+    if [ "${CT_COMP_LIBS_CHECK}" = "y" ]; then
         CT_DoLog EXTRA "Checking CLooG/ppl"
         CT_DoExecLog ALL make ${PARALLELMFLAGS} -s check
     fi