diff options
author | Ismael Luceno | 2020-08-21 19:50:21 +0200 |
---|---|---|
committer | Ismael Luceno | 2020-08-21 20:03:25 +0200 |
commit | 3766d9838bac4fd2d05a764d24a988e8445388d2 (patch) | |
tree | 6aaea19daf1b909c6e8fa329651789bce4ce83cb /shell-term-fm | |
parent | 75f78e59a060f0f7675b1e654f76da1b8e009002 (diff) |
bash: Add BASH_OPTS to OPTS
Diffstat (limited to 'shell-term-fm')
-rwxr-xr-x | shell-term-fm/bash/BUILD | 1 | ||||
-rw-r--r-- | shell-term-fm/bash/HISTORY | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/shell-term-fm/bash/BUILD b/shell-term-fm/bash/BUILD index fe3b0a4481..870ca3a298 100755 --- a/shell-term-fm/bash/BUILD +++ b/shell-term-fm/bash/BUILD @@ -1,5 +1,6 @@ [[ $CROSS_INSTALL == on ]] && OPTS="$OPTS --host=${HOST}" +OPTS+=" $BASH_OPTS" && ./configure --build=$BUILD \ --prefix=${TRACK_ROOT}/usr \ diff --git a/shell-term-fm/bash/HISTORY b/shell-term-fm/bash/HISTORY index 05514c7763..068c69bf93 100644 --- a/shell-term-fm/bash/HISTORY +++ b/shell-term-fm/bash/HISTORY @@ -1,5 +1,6 @@ 2020-08-21 Ismael Luceno <ismael@sourcemage.org> * CONFIGURE, DEPENDS: Made ncurses and readline optional + * BUILD: Added BASH_OPTS to OPTS 2020-06-28 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * DETAILS: version 5.0.17 |