diff -r 7995942261f2 -r a4e30d311569 scripts/build/companion_libs/ppl.sh --- a/scripts/build/companion_libs/ppl.sh Mon May 25 19:46:58 2009 +0000 +++ b/scripts/build/companion_libs/ppl.sh Fri Oct 09 16:22:09 2009 +0200 @@ -62,6 +62,9 @@ CT_DoLog EXTRA "Installing PPL" CT_DoExecLog ALL make install + # Remove spuriously installed file + CT_DoExecLog ALL rm -f "${CT_PREFIX_DIR}/bin/ppl-config" + CT_EndStep }