From 163ff8d20276be0e932474cdd6cb2c3086c5be9c Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Sat, 5 Dec 2020 18:05:39 +0100
Subject: add tests for parallel background compilation

---
 ci/compile-tests/003-require-error/Makefile | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 ci/compile-tests/003-require-error/Makefile

(limited to 'ci/compile-tests/003-require-error/Makefile')

diff --git a/ci/compile-tests/003-require-error/Makefile b/ci/compile-tests/003-require-error/Makefile
new file mode 100644
index 00000000..4ae0a433
--- /dev/null
+++ b/ci/compile-tests/003-require-error/Makefile
@@ -0,0 +1,19 @@
+# This file is part of Proof General.
+# 
+# © Copyright 2020  Hendrik Tews
+# 
+# Authors: Hendrik Tews
+# Maintainer: Hendrik Tews <hendrik@askra.de>
+# 
+# License:     GPL (GNU GENERAL PUBLIC LICENSE)
+
+
+.PHONY: test
+test:
+	$(MAKE) clean
+	emacs -batch -l ert -l ../../../generic/proof-site.el -l ../cct-lib.el \
+		-l test.el -f ert-run-tests-batch-and-exit
+
+.PHONY: clean
+clean:
+	rm -f *.vo *.glob *.vio *.vos *.vok .*.aux
-- 
cgit v1.2.3