Skip to content

Commit

Permalink
die if --hintsfile was set, but no such file found
Browse files Browse the repository at this point in the history
  • Loading branch information
gerdr committed Jan 14, 2012
1 parent 9e513e1 commit dd4b8b6
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions config/init/hints.pm
Original file line number Diff line number Diff line change
Expand Up @@ -63,6 +63,9 @@ sub runstep {
$hints_used++;
}
}
elsif ( $conf->options->get('hintsfile') ) {
die "No $hints_file found";
}
else {
$conf->debug("No $hints_file found. ");
}
Expand Down

0 comments on commit dd4b8b6

Please sign in to comment.