diff options
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 |