diff -r bae051c5f637 -r b23f3c2e0c73 scripts/build/companion_libs/ppl.sh
--- a/scripts/build/companion_libs/ppl.sh	Sun May 24 22:02:30 2009 +0000
+++ b/scripts/build/companion_libs/ppl.sh	Mon May 25 18:22:26 2009 +0000
@@ -8,7 +8,7 @@
 do_ppl_target() { :; }
 
 # Overide functions depending on configuration
-if [ "${CT_PPL_CLOOG}" = "y" ]; then
+if [ "${CT_PPL_CLOOG_MPC}" = "y" ]; then
 
 # Download PPL
 do_ppl_get() {
@@ -65,4 +65,4 @@
     CT_EndStep
 }
 
-fi # CT_PPL_CLOOG
+fi # CT_PPL_CLOOG_MPC