From: Ben Pfaff <blp@nicira.com>
Date: Tue, 16 Nov 2010 22:06:31 +0000 (-0800)
Subject: debian: On "make check" failure dump the testsuite log.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ff8c6aa136118c65af50dd9dc8ed41b7fa2dcc03;p=openvswitch

debian: On "make check" failure dump the testsuite log.

The Debian automatic build machines don't save any files from the build,
but they do preserve the build log, so dumping it to stdout is the only
reasonable way to get test failure information.
---

diff --git a/debian/rules b/debian/rules
index b1f9065c..6e99ff6e 100755
--- a/debian/rules
+++ b/debian/rules
@@ -44,7 +44,10 @@ build-arch: build-arch-stamp
 build-arch-stamp: configure-stamp 
 	$(MAKE) -C _debian
 ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS)))
-	$(MAKE) -C _debian check
+	if $(MAKE) -C _debian check; then :; else \
+		cat _debian/tests/testsuite.log; \
+		exit 1; \
+	fi
 endif
 	touch $@