diff options
| author | Hendrik Tews | 2020-12-05 22:27:47 +0100 |
|---|---|---|
| committer | hendriktews | 2020-12-19 16:43:49 +0100 |
| commit | 16e784a63f2a38ce3f03e36b6fa9a7db2da211b9 (patch) | |
| tree | 40c0e559f5f0bab2729fb30f1536d43e6b63a064 /ci/compile-tests/Makefile | |
| parent | 163ff8d20276be0e932474cdd6cb2c3086c5be9c (diff) | |
add test for recompilation with changes
Diffstat (limited to 'ci/compile-tests/Makefile')
| -rw-r--r-- | ci/compile-tests/Makefile | 23 |
1 files changed, 23 insertions, 0 deletions
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 |