[Pkg-jed-commit] [SCM] Debian packaging of JED branch, jo-0.99.19, updated. 1%3A0.99.18+dfsg.1-10-178-gbb38541

[Jörg Sommer]

The following commit has been merged in the jo-0.99.19 branch:
commit cb509f8b36169a4a58b800c016bb416e2111872e
Author: Jörg Sommer <joerg at alea.gnuu.de>
Date:   Sun May 18 00:18:15 2008 +0200

    Output config.log if configure failed
    
    Getting the config.log from a buildd is difficult. So, print it if
    configure failed and make it visible in the buildd logs.

diff --git a/debian/rules b/debian/rules
index 2a4f8c6..f222c3a 100755
--- a/debian/rules
+++ b/debian/rules
@@ -30,7 +30,8 @@ clean: unpatch
 
 config.status: patch-stamp
 	dh_testdir
-	./configure "CFLAGS=$(CFLAGS)" --prefix=/usr/share --exec-prefix=/usr --with-x
+	./configure "CFLAGS=$(CFLAGS)" --prefix=/usr/share --exec-prefix=/usr \
+	  --with-x || { rc=$$?; cat config.log; exit $$rc; }
 
 build: build-stamp
 build-stamp: config.status

-- 
Debian packaging of JED