diff --git a/scripts/config.pl b/scripts/config.pl index 2685b4ec3..71dd21733 100755 --- a/scripts/config.pl +++ b/scripts/config.pl @@ -118,7 +118,7 @@ for my $line (@config_lines) { close $config_write; -warn "configuration section not found" if ($action eq "full" && !$done); -warn "$name not found" if ($action ne "full" && !$done); +die "configuration section not found" if ($action eq "full" && !$done); +die "$name not found" if ($action ne "full" && !$done); __END__