diff options
Diffstat (limited to 'source4/script/installheader.pl')
| -rwxr-xr-x | source4/script/installheader.pl | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/source4/script/installheader.pl b/source4/script/installheader.pl index 7b8dd8e92a..d1f96b2592 100755 --- a/source4/script/installheader.pl +++ b/source4/script/installheader.pl @@ -75,8 +75,7 @@ foreach my $p (@ARGV) { my $p2 = findmap($p); unless ($p2) { - warn("Unable to map $p"); - next; + die("Unable to map $p"); } print "Installing $p as $includedir/$p2\n"; |