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