From fb3212de851a248d69c382f9ff0de9f6b8020180 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sun, 8 Jan 2017 19:49:26 +0100
Subject: [PATCH] disable more tests

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

diff --git a/debian/rules b/debian/rules
index 4fc323484..37c405f7e 100755
--- a/debian/rules
+++ b/debian/rules
@@ -23,3 +23,6 @@ export DEB_BUILD_OPTS = nocheck
 # This is example for Cmake (See https://bugs.debian.org/641051 )
 override_dh_auto_configure:
 	dh_auto_configure -- --prefix=/opt/hermit
+
+override_dh_auto_test:
+	@echo "tests are disabled"