changeset 1809 | b488b4815f9b |
parent 1397 | 593fb5054810 |
child 1890 | 39045a2f1163 |
1.1 --- a/scripts/build/companion_libs/ppl.sh Mon Jun 01 15:53:42 2009 +0000 1.2 +++ b/scripts/build/companion_libs/ppl.sh Thu Feb 18 20:43:31 2010 +0100 1.3 @@ -8,7 +8,7 @@ 1.4 do_ppl_target() { :; } 1.5 1.6 # Overide functions depending on configuration 1.7 -if [ "${CT_PPL_CLOOG_MPC}" = "y" ]; then 1.8 +if [ "${CT_PPL}" = "y" ]; then 1.9 1.10 # Download PPL 1.11 do_ppl_get() { 1.12 @@ -68,4 +68,4 @@ 1.13 CT_EndStep 1.14 } 1.15 1.16 -fi # CT_PPL_CLOOG_MPC 1.17 +fi # CT_PPL