diff options
author | Cem Keylan <cem@ckyln.com> | 2021-05-07 12:04:06 +0300 |
---|---|---|
committer | Cem Keylan <cem@ckyln.com> | 2021-05-07 12:04:06 +0300 |
commit | 667c08781a102649b7c7a9b12e604b4bcf7cb802 (patch) | |
tree | cec26109e121f98d3fd03aff5f22530ccfaa7abe /extra/bash/build | |
parent | c9e1c96d5f5bbf474cc096ebd99bacc4e727ff5e (diff) | |
download | repository-667c08781a102649b7c7a9b12e604b4bcf7cb802.tar.gz |
bash: bump to 5.1.p8
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" |