Lines Matching refs:with_python
8681 if test "${with_python+set}" = set; then8682 withval=$with_python; PYTHON="$withval"8689 { echo "$as_me:$LINENO: result: user defined: $with_python" >&58690 echo "${ECHO_T}user defined: $with_python" >&6; }