genconf: Stop the compilation if #pipe failed.

diff --git a/build/genconf b/build/genconf
index 75c957fe10a9c8490452ac0b16d215e419748be1..5e2269b0a76f12a0a835982870239182c18e807e 100755 (executable)
--- a/build/genconf
+++ b/build/genconf
@@ -46,6 +46,9 @@ while (<IN>) {
                        $empty = 1;
                } else { $empty = 0; }
                if (/^#pipe\s+(.+)/) {
+                       my $cmd = $1;
+                       my $val = `$cmd`;
+                       die "Piped command '$cmd' failed" if $?;
                        print OUT `$1`;
                } else {
                        print OUT;