summaryrefslogtreecommitdiff
path: root/scripts/build
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-06-01 15:53:42 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-06-01 15:53:42 (GMT)
commitf05ecb83606c325eb7826a5a58457b5c3d34e9f0 (patch)
tree83f962f85123aa4c49ff975d89b3ce6c817cd527 /scripts/build
parent93e6bcb1c02a7fb30b39b9a0a11abf28a0ee0b69 (diff)
/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(+)
Diffstat (limited to 'scripts/build')
-rw-r--r--scripts/build/companion_libs/cloog.sh3
-rw-r--r--scripts/build/companion_libs/ppl.sh3
2 files changed, 6 insertions, 0 deletions
diff --git a/scripts/build/companion_libs/cloog.sh b/scripts/build/companion_libs/cloog.sh
index 5822633..93cd55c 100644
--- a/scripts/build/companion_libs/cloog.sh
+++ b/scripts/build/companion_libs/cloog.sh
@@ -54,6 +54,9 @@ do_cloog() {
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 --git a/scripts/build/companion_libs/ppl.sh b/scripts/build/companion_libs/ppl.sh
index 686622f..4af080b 100644
--- a/scripts/build/companion_libs/ppl.sh
+++ b/scripts/build/companion_libs/ppl.sh
@@ -62,6 +62,9 @@ do_ppl() {
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
}