diff options
Diffstat (limited to 'extra/bash/build')
| -rwxr-xr-x | extra/bash/build | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/extra/bash/build b/extra/bash/build index 26def78c..abc3769a 100755 --- a/extra/bash/build +++ b/extra/bash/build @@ -15,3 +15,9 @@ make make DESTDIR="$1" install ln -s bash "$1/usr/bin/sh" + +# Remove bash C header files. I couldn't find an actual example of how these +# can be useful to someone. If you can think of one, and do need it, send me a +# mail and I will think about adding them back if it makes sense to me. +# Otherwise, you can remove this part through a hook or a fork. +rm -rf "$1/usr/include" |