Searched refs:srcopts (Results 1 – 1 of 1) sorted by relevance
239 local srcopts="$2"262 echo "$srcopts" > "$OBJTOP"/.src_opts270 local srcopts objopts277 srcopts=$(extract_src_opts)278 if [ -z "$srcopts" ]; then288 clean_world "$srcepoch" "$srcopts"293 if [ "$srcopts" != "$objopts" ]; then295 clean_world "$srcepoch" "$srcopts"