Searched refs:SRCGEN_TOOL (Results 1 – 1 of 1) sorted by relevance
26 --srcgen-tool ) SRCGEN_TOOL="$2"; shift 2;;33 if [ -n "$SRCGEN_TOOL" ]; then35 SRCGEN_TOOL_BINARY=${SRCGEN_TOOL}