diff options
author | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2014-07-04 16:25:03 +0000 |
---|---|---|
committer | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2014-07-31 16:15:31 +0000 |
commit | 0a3be548f9b817c8258d3e8bc029a3fee66a568d (patch) | |
tree | dc922126f7e2286d65e1be9e92a573a626875f3b /remove-gcc.configure | |
parent | 2ecfb54531b6a722b9ed44b87ffb1ad16f1773c8 (diff) | |
download | definitions-0a3be548f9b817c8258d3e8bc029a3fee66a568d.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 |