diff -r 945dc995daa7 -r b23f3c2e0c73 scripts/build/companion_libs/cloog.sh --- a/scripts/build/companion_libs/cloog.sh Sun May 24 22:04:14 2009 +0000 +++ b/scripts/build/companion_libs/cloog.sh Mon May 25 18:22:26 2009 +0000 @@ -8,7 +8,7 @@ do_cloog_target() { :; } # Overide functions depending on configuration -if [ "${CT_PPL_CLOOG}" = "y" ]; then +if [ "${CT_PPL_CLOOG_MPC}" = "y" ]; then # Download CLooG do_cloog_get() { @@ -57,4 +57,4 @@ CT_EndStep } -fi # CT_PPL_CLOOG +fi # CT_PPL_CLOOG_MPC