diff options
-rw-r--r-- | scripts/headers_install.pl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/headers_install.pl b/scripts/headers_install.pl index 4ca3be3b2e50..efb3be10d428 100644 --- a/scripts/headers_install.pl +++ b/scripts/headers_install.pl | |||
@@ -45,6 +45,13 @@ foreach my $file (@files) { | |||
45 | close $in; | 45 | close $in; |
46 | 46 | ||
47 | system $unifdef . " $tmpfile > $installdir/$file"; | 47 | system $unifdef . " $tmpfile > $installdir/$file"; |
48 | # unifdef will exit 0 on success, and will exit 1 when the | ||
49 | # file was processed successfully but no changes were made, | ||
50 | # so abort only when it's higher than that. | ||
51 | my $e = $? >> 8; | ||
52 | if ($e > 1) { | ||
53 | die "$tmpfile: $!\n"; | ||
54 | } | ||
48 | unlink $tmpfile; | 55 | unlink $tmpfile; |
49 | } | 56 | } |
50 | exit 0; | 57 | exit 0; |