diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-06-01 15:53:42 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-06-01 15:53:42 (GMT) |
commit | f05ecb83606c325eb7826a5a58457b5c3d34e9f0 (patch) | |
tree | 83f962f85123aa4c49ff975d89b3ce6c817cd527 /scripts/build/companion_libs/ppl.sh | |
parent | 93e6bcb1c02a7fb30b39b9a0a11abf28a0ee0b69 (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/companion_libs/ppl.sh')
-rw-r--r-- | scripts/build/companion_libs/ppl.sh | 3 |
1 files changed, 3 insertions, 0 deletions
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 } |