From: Ben Pfaff <blp@nicira.com>
Date: Tue, 9 Jun 2009 20:32:59 +0000 (-0700)
Subject: debian: Run build tests during build (unless "nocheck" is specified).
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=52db0bbec68ae4177d74cf4f7a9552f7321dac72;p=openvswitch

debian: Run build tests during build (unless "nocheck" is specified).
---

diff --git a/debian/rules b/debian/rules
index 707fe8b7..151822b9 100755
--- a/debian/rules
+++ b/debian/rules
@@ -48,6 +48,9 @@ build: build-arch build-indep
 build-arch: build-arch-stamp
 build-arch-stamp: configure-stamp 
 	$(MAKE) -C _debian
+ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS)))
+	$(MAKE) -C _debian check
+endif
 	touch $@
 
 build-indep: build-indep-stamp