diff options
Diffstat (limited to 'shell-term-fm/bash/PRE_BUILD')
| -rwxr-xr-x | shell-term-fm/bash/PRE_BUILD | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/shell-term-fm/bash/PRE_BUILD b/shell-term-fm/bash/PRE_BUILD index c88be2a16a..59fb9dc06f 100755 --- a/shell-term-fm/bash/PRE_BUILD +++ b/shell-term-fm/bash/PRE_BUILD @@ -2,6 +2,11 @@ default_pre_build && cd "$SOURCE_DIRECTORY" && unpack_file 3 && +for i in $(seq -w 1 037); do + message "${MESSAGE_COLOR}applying patch bash42-$i ...${DEFAULT_COLOR}" && + patch -p0 < $SPELL_DIRECTORY/patches/bash42-$i +done && + if [[ "$BASH_NI_LOGIN" == y ]]; then message "${MESSAGE_COLOR}Defining NON_INTERACTIVE_LOGIN_SHELLS.$DEFAULT_COLOR" && sed -i 's/\/\* \(#define NON_INTERACTIVE_LOGIN_SHELLS\) \*\//\1/' config-top.h |