Lines Matching refs:with_python
12287 if test "${with_python+set}" = set; then
12288 withval=$with_python; PYTHON="$withval"
12295 { echo "$as_me:$LINENO: result: user defined: $with_python" >&5
12296 echo "${ECHO_T}user defined: $with_python" >&6; }
