Lines Matching refs:extra_options
445 # run_dump_test FILE (optional:) EXTRA_OPTIONS470 # The optional EXTRA_OPTIONS argument to `run_dump_test' is a list of564 proc run_dump_test { name {extra_options {}} } {669 foreach i $extra_options {