changeset 1808 | a1370757e6a1 |
parent 1399 | d603008707f1 |
child 1890 | 39045a2f1163 |
1.1 --- a/scripts/build/companion_libs/mpc.sh Mon Jun 01 18:03:23 2009 +0000 1.2 +++ b/scripts/build/companion_libs/mpc.sh Wed Feb 17 23:47:47 2010 +0100 1.3 @@ -8,7 +8,7 @@ 1.4 do_mpc_target() { :; } 1.5 1.6 # Overide functions depending on configuration 1.7 -if [ "${CT_PPL_CLOOG_MPC}" = "y" ]; then 1.8 +if [ "${CT_MPC}" = "y" ]; then 1.9 1.10 # Download MPC 1.11 do_mpc_get() { 1.12 @@ -54,4 +54,4 @@ 1.13 CT_EndStep 1.14 } 1.15 1.16 -fi # CT_PPL_CLOOG_MPC 1.17 +fi # CT_MPC