From 3a01cbe3fca2e9e1ab6ad056804770ebcb496a06 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@debian.org>
Date: Sat, 29 Dec 2018 15:21:57 -0500
Subject: Don't run testsuite under nocheck build profile

---
 debian/rules | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/debian/rules b/debian/rules
index db2ddc0f..55cd0491 100755
--- a/debian/rules
+++ b/debian/rules
@@ -82,8 +82,10 @@ endif
 
 .PHONY: override_dh_auto_test
 override_dh_auto_test:
+ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS)))
 	CAML_LD_LIBRARY_PATH=$PWD/kernel/byterun COQLIB=$PWD \
 	  $(MAKE) test-suite COMPLEXITY=
+endif
 
 .PHONY: override_dh_auto_install
 override_dh_auto_install:
-- 
cgit v1.2.3