Merge branch 'mpi-master' into wip-k-fmlpwip-k-fmlp

Conflicts:
	litmus/sched_cedf.c

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) {
         close $in;
 
         system $unifdef . " $tmpfile > $installdir/$file";
+        # unifdef will exit 0 on success, and will exit 1 when the
+        # file was processed successfully but no changes were made,
+        # so abort only when it's higher than that.
+        my $e = $? >> 8;
+        if ($e > 1) {
+                die "$tmpfile: $!\n";
+        }
         unlink $tmpfile;
 }
 exit 0;