diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-02-28 09:19:13 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-02-28 09:19:13 (GMT) |
commit | d380a84b52f6c5c5555898d468566922c719e1a5 (patch) | |
tree | 36c307a7d34fc006584dce66254997e4da44b28e | |
parent | ebc5dc5b03fd1cbd859ec3f5e37b48535894a442 (diff) |
complibs: remove headers after build
After the toolchain is built, we do no longer need the headers.
Reported-by: Enrico Weigelt <weigelt@metux.de>
-rw-r--r-- | scripts/build/internals.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/build/internals.sh b/scripts/build/internals.sh index 144cb87..13239bf 100644 --- a/scripts/build/internals.sh +++ b/scripts/build/internals.sh @@ -90,5 +90,8 @@ do_finish() { CT_DoForceRmdir "${CT_DEBUGROOT_DIR}/"{,usr/}{man,info} fi + # Remove headers installed by native companion libraries + CT_DoForceRmdir "${CT_PREFIX_DIR}/include" + CT_EndStep } |