Use a bashism for a minor speedup in gendepends.sh
This commit is contained in:
parent
bbd810425b
commit
e2942e34af
@ -59,13 +59,18 @@ _sanitize_path()
|
|||||||
}
|
}
|
||||||
|
|
||||||
# Allow our scripts to support zsh
|
# Allow our scripts to support zsh
|
||||||
if [ -n "${ZSH_VERSION}" ]; then
|
if [ -n "$ZSH_VERSION" ]; then
|
||||||
emulate sh
|
emulate sh
|
||||||
NULLCMD=:
|
NULLCMD=:
|
||||||
alias -g '${1+"$@"}'='"$@"'
|
alias -g '${1+"$@"}'='"$@"'
|
||||||
setopt NO_GLOB_SUBST
|
setopt NO_GLOB_SUBST
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
# Use a special shell feature to save forking
|
||||||
|
if [ -n "$BASH_VERSION" -o "$ZSH_VERSION" ]; then
|
||||||
|
shell_var() { LC_ALL=C echo "${@//[![:word:]]/_}"; }
|
||||||
|
fi
|
||||||
|
|
||||||
# Make a sane PATH
|
# Make a sane PATH
|
||||||
_PREFIX=@PREFIX@
|
_PREFIX=@PREFIX@
|
||||||
_PKG_PREFIX=@PKG_PREFIX@
|
_PKG_PREFIX=@PKG_PREFIX@
|
||||||
|
Loading…
Reference in New Issue
Block a user