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 Oct 09 16:22:09 2009 +0200
     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