From 3c72743c582ce8a47d2b3f54e33b41777ac64dba Mon Sep 17 00:00:00 2001
From: Pavel Charvat <pavel.charvat@netcentrum.cz>
Date: Wed, 17 Jan 2007 01:38:51 +0100
Subject: [PATCH] genconf: Stop the compilation if #pipe failed.

---
 build/genconf | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/build/genconf b/build/genconf
index 75c957fe..5e2269b0 100755
--- 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;
-- 
2.39.2