From 16e784a63f2a38ce3f03e36b6fa9a7db2da211b9 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Sat, 5 Dec 2020 22:27:47 +0100
Subject: add test for recompilation with changes

---
 ci/compile-tests/Makefile | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 ci/compile-tests/Makefile

(limited to 'ci/compile-tests/Makefile')

diff --git a/ci/compile-tests/Makefile b/ci/compile-tests/Makefile
new file mode 100644
index 00000000..32f6561b
--- /dev/null
+++ b/ci/compile-tests/Makefile
@@ -0,0 +1,23 @@
+# 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)
+
+
+TOPTARGETS := test clean
+
+SUBDIRS := $(wildcard [0-9][0-9][0-9]-*)
+
+$(TOPTARGETS): $(SUBDIRS)
+$(SUBDIRS):
+	$(MAKE) -C $@ $(MAKECMDGOALS)
+
+.PHONY: $(TOPTARGETS) $(SUBDIRS)
+
+.PHONY: TAGS
+TAGS:
+	etags *.el */*.el
-- 
cgit v1.2.3