Lines Matching refs:with_python
8442 if test "${with_python+set}" = set; then8443 withval=$with_python; PYTHON="$withval"8450 { echo "$as_me:$LINENO: result: user defined: $with_python" >&58451 echo "${ECHO_T}user defined: $with_python" >&6; }