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

/seL4-l4v-10.1.1/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 :
202 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"
9073 if test -n "${ZSH_VERSION+set}"; then
22740 if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then :
22766 if test -z "$BASH_VERSION$ZSH_VERSION" \
23663 if test -n "\${ZSH_VERSION
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
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 :
202 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"
9086 if test -n "${ZSH_VERSION+set}"; then
19723 if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then :
19749 if test -z "$BASH_VERSION$ZSH_VERSION" \
20656 if test -n "\${ZSH_VERSION
[all...]

Completed in 65 milliseconds