From 667c08781a102649b7c7a9b12e604b4bcf7cb802 Mon Sep 17 00:00:00 2001 From: Cem Keylan Date: Fri, 7 May 2021 12:04:06 +0300 Subject: bash: bump to 5.1.p8 --- extra/bash/build | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'extra/bash/build') 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" -- cgit v1.2.3