From a28ed91e0d3b2d03940c9b930ac516f0769f7e17 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 11 Sep 2020 16:35:14 +0200
Subject: avoid rebuild

---
 mathcomp/Makefile.common | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'mathcomp')

diff --git a/mathcomp/Makefile.common b/mathcomp/Makefile.common
index b6b71ea..9759158 100644
--- a/mathcomp/Makefile.common
+++ b/mathcomp/Makefile.common
@@ -56,7 +56,13 @@ Makefile.coq: pre-makefile $(COQPROJECT) Makefile
 
 # Test suite ---------------------------------------------------------
 
-test_suite/test_hierarchy_all.v: build
+ifneq "$(TEST_SKIP_BUILD)" ""
+TEST_DEP :=
+else
+TEST_DEP := build
+endif
+
+test_suite/test_hierarchy_all.v: $(TEST_DEP)
 	COQBIN=$(COQBIN) ocaml ../etc/utils/hierarchy.ml -verify -R . mathcomp -lib all.all > test_suite/test_hierarchy_all.v
 
 Makefile.test-suite.coq: test_suite/test_hierarchy_all.v
-- 
cgit v1.2.3