# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1243871622 0
# Node ID 593fb5054810ca0c58ebeea9e120633b4d264032
# Parent  3dc779343d7f0cd51ab8f0db8c14185ce28f1e29
/devel/gcc-4.4:
- PPL, CLooG/PPL: remove uselessly installed files.

 -------- diffstat follows --------
 /devel/gcc-4.4/scripts/build/companion_libs/ppl.sh   |    3     3     0     0 +++
 /devel/gcc-4.4/scripts/build/companion_libs/cloog.sh |    3     3     0     0 +++
 2 files changed, 6 insertions(+)

diff -r 3dc779343d7f -r 593fb5054810 scripts/build/companion_libs/cloog.sh
--- a/scripts/build/companion_libs/cloog.sh	Mon Jun 01 13:31:12 2009 +0000
+++ b/scripts/build/companion_libs/cloog.sh	Mon Jun 01 15:53:42 2009 +0000
@@ -54,6 +54,9 @@
     CT_DoLog EXTRA "Installing CLooG/ppl"
     CT_DoExecLog ALL make install
 
+    # Remove spuriously installed file
+    CT_DoExecLog ALL rm -f "${CT_PREFIX_DIR}/bin/cloog"
+
     CT_EndStep
 }
 
diff -r 3dc779343d7f -r 593fb5054810 scripts/build/companion_libs/ppl.sh
--- a/scripts/build/companion_libs/ppl.sh	Mon Jun 01 13:31:12 2009 +0000
+++ b/scripts/build/companion_libs/ppl.sh	Mon Jun 01 15:53:42 2009 +0000
@@ -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
 }