From a14cbb614121db775e6198f6b29466b2dbc77347 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Manuel=20P=C3=A9gouri=C3=A9-Gonnard?= <mpg@elzevir.fr>
Date: Wed, 3 Jun 2015 10:49:38 +0100
Subject: [PATCH] Have config.pl return non-zero rather than warn

---
 scripts/config.pl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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__