Lines Matching refs:with_python
8487 if test "${with_python+set}" = set; then8488 withval=$with_python; PYTHON="$withval"8495 { echo "$as_me:$LINENO: result: user defined: $with_python" >&58496 echo "${ECHO_T}user defined: $with_python" >&6; }