diff options
| author | Jelmer Vernooij <jelmer@samba.org> | 2006-11-06 12:05:09 +0000 |
|---|---|---|
| committer | Gerald (Jerry) Carter <jerry@samba.org> | 2007-10-10 14:24:53 -0500 |
| commit | 2eeb0e5f282a22e11de07d4038b01fc446e3fc14 (patch) | |
| tree | 540812387eb44774e9778a8fb9863a2a5a615d07 /source4/script | |
| parent | 18aa4c6a38ce994fb59de38c93969d18c992cf8b (diff) | |
| download | samba-2eeb0e5f282a22e11de07d4038b01fc446e3fc14.tar.gz samba-2eeb0e5f282a22e11de07d4038b01fc446e3fc14.tar.bz2 samba-2eeb0e5f282a22e11de07d4038b01fc446e3fc14.zip | |
r19569: Require that all public header files have a destination path. Fix
places where this was currently not the case.
(This used to be commit 3894497a232df8cf0457c7439c9ae347f63f24a1)
Diffstat (limited to 'source4/script')
| -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"; |