Lines Matching refs:opt_t
32 $opt_t = $timer if !defined($opt_t);
35 if ($opt_t ne '') { # - and $opt_t found
36 if ($timer ne $opt_t) { # - - and they differ
37 warn "You specified a $opt_t timer but I detected a $timer timer.\n";
43 } else { # - but no $opt_t specified; this is OK
47 if ($opt_t ne '') { # - but $opt_t was specified
48 $timer = $opt_t; # - - so use it.
49 } else { # - and neither was $opt_t