Searched refs:ZSH_VERSION (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure19 if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then :
45 if test -z "$BASH_VERSION$ZSH_VERSION" \
163 as_bourne_compatible="if test -n \"\${ZSH_VERSION+set}\" && (emulate sh) >/dev/null 2>&1; then :
203 test -n \"\${ZSH_VERSION+set}\${BASH_VERSION+set}\" || (
273 if test x${ZSH_VERSION+set} = xset ; then
274 $as_echo "$0: In particular, zsh $ZSH_VERSION has bugs and should"
8939 if test -n "${ZSH_VERSION+set}"; then
22658 if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then :
22684 if test -z "$BASH_VERSION$ZSH_VERSION" \
23581 if test -n "\${ZSH_VERSION
[all...]

Completed in 55 milliseconds