Lines Matching refs:opt_T
254 $temp_dir = $opt_T || "/tmp";255 if (defined $opt_t) {256 die "$prog: bad -t argument (should be number > 0): $opt_t\n"257 if $opt_t !~ /^\d+$/ || $opt_t <= 0;258 $default_time_limit = $opt_t;
