changeset 1753 | fcc55af9aee5 |
parent 1386 | 7995942261f2 |
child 1808 | a1370757e6a1 |
1.1 --- a/scripts/build/companion_libs/ppl.sh Mon May 25 19:46:58 2009 +0000 1.2 +++ b/scripts/build/companion_libs/ppl.sh Fri Jan 29 23:14:53 2010 +0100 1.3 @@ -62,6 +62,9 @@ 1.4 CT_DoLog EXTRA "Installing PPL" 1.5 CT_DoExecLog ALL make install 1.6 1.7 + # Remove spuriously installed file 1.8 + CT_DoExecLog ALL rm -f "${CT_PREFIX_DIR}/bin/ppl-config" 1.9 + 1.10 CT_EndStep 1.11 } 1.12