diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-02-17 22:47:47 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-02-17 22:47:47 (GMT) |
| commit | 3eaa187de56bff5ee342ffc8b3feeca7ac2a2c62 (patch) | |
| tree | 8c36e75f08741e956fcf9fcd0e09f5a1eafc4758 /scripts/build/companion_libs/ppl.sh | |
| parent | c6689215d15cba83404b6f4e67ddedb2c2ea1a48 (diff) | |
complibs: split-up selection for individual libs
Diffstat (limited to 'scripts/build/companion_libs/ppl.sh')
| -rw-r--r-- | scripts/build/companion_libs/ppl.sh | 4 |
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 |