summaryrefslogtreecommitdiff
path: root/scripts/build/companion_libs/ppl.sh
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/build/companion_libs/ppl.sh')
-rw-r--r--scripts/build/companion_libs/ppl.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/build/companion_libs/ppl.sh b/scripts/build/companion_libs/ppl.sh
index 4af080b..15312f0 100644
--- a/scripts/build/companion_libs/ppl.sh
+++ b/scripts/build/companion_libs/ppl.sh
@@ -8,7 +8,7 @@ do_ppl() { :; }
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 @@ do_ppl() {
CT_EndStep
}
-fi # CT_PPL_CLOOG_MPC
+fi # CT_PPL