diff options
author | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2014-07-04 16:25:03 +0000 |
---|---|---|
committer | Lars Wirzenius <lars.wirzenius@codethink.co.uk> | 2014-08-28 12:49:03 +0000 |
commit | 5e0b3df470ee1be98d0787e221e99f5a44873441 (patch) | |
tree | c26f871d332c4a21beb72df9e4d706d208ebd5cf /remove-gcc.configure | |
parent | eeb9bbc3a5aceb6428c7c55dea18f69433555602 (diff) | |
download | definitions-5e0b3df470ee1be98d0787e221e99f5a44873441.tar.gz |
REmove GCC binaries in the chef system manually
Nasty hack, but saves 200MB or about 50% of the total size of the
system.
Diffstat (limited to 'remove-gcc.configure')
-rw-r--r-- | remove-gcc.configure | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/remove-gcc.configure b/remove-gcc.configure new file mode 100644 index 00000000..67474af1 --- /dev/null +++ b/remove-gcc.configure @@ -0,0 +1,8 @@ +#!/bin/sh +# This configure extension is a total hack to work around the fact that +# the GCC chunk isn't split properly. I'll leave fixing that to Richard +# Maw for now. This removes about 200MB from the resulting system. + +if [ "$REMOVE_GCC" = "yes" ]; then + rm -Rf "$1"/usr/libexec/gcc/ +fi |