1.1 --- a/scripts/build/companion_libs/cloog.sh	Mon Jun 01 13:31:12 2009 +0000
     1.2 +++ b/scripts/build/companion_libs/cloog.sh	Mon Jun 01 15:53:42 2009 +0000
     1.3 @@ -54,6 +54,9 @@
     1.4      CT_DoLog EXTRA "Installing CLooG/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/cloog"
     1.9 +
    1.10      CT_EndStep
    1.11  }
    1.12  

     2.1 --- a/scripts/build/companion_libs/ppl.sh	Mon Jun 01 13:31:12 2009 +0000
     2.2 +++ b/scripts/build/companion_libs/ppl.sh	Mon Jun 01 15:53:42 2009 +0000
     2.3 @@ -62,6 +62,9 @@
     2.4      CT_DoLog EXTRA "Installing PPL"
     2.5      CT_DoExecLog ALL make install
     2.6  
     2.7 +    # Remove spuriously installed file
     2.8 +    CT_DoExecLog ALL rm -f "${CT_PREFIX_DIR}/bin/ppl-config"
     2.9 +
    2.10      CT_EndStep
    2.11  }
    2.12