diff -r 593fb5054810 -r a1370757e6a1 scripts/build/companion_libs/ppl.sh
--- a/scripts/build/companion_libs/ppl.sh	Mon Jun 01 15:53:42 2009 +0000
+++ b/scripts/build/companion_libs/ppl.sh	Wed Feb 17 23:47:47 2010 +0100
@@ -8,7 +8,7 @@
 do_ppl_target() { :; }
 
 # Overide functions depending on configuration
-if [ "${CT_PPL_CLOOG_MPC}" = "y" ]; then
+if [ "${CT_PPL}" = "y" ]; then
 
 # Download PPL
 do_ppl_get() {
@@ -68,4 +68,4 @@
     CT_EndStep
 }
 
-fi # CT_PPL_CLOOG_MPC
+fi # CT_PPL