Searched refs:change_rust_src (Results 1 – 2 of 2) sorted by relevance
213 local change_rust_src=""215 change_rust_src="true"223 change_rust_src="true"228 if [ "$change_rust_src" = "true" ]; then230 bash change_rust_src.sh --sparse
8 bash tools/change_rust_src.sh