[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
joerg at alea.gnuu.de
Mon May 19 16:07:02 UTC 2008
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
More information about the Pkg-jed-commit
mailing list