Searched refs:tools_only (Results 1 – 2 of 2) sorted by relevance
19 [ "$1" == "tools" ] && tools_only=y23 if [ -z "$tools_only" ]; then33 if [ -z "$tools_only" ]; then
109 - job: tools_only
Completed in 3 milliseconds