branch: elpa/proof-general
commit ad3655744050f4ac0d16435ebac7133f8b5f9a58
Author: Erik Martin-Dorel <erik.martin-do...@irit.fr>
Commit: Erik Martin-Dorel <erik.martin-do...@irit.fr>
test: Extend dist-tests target after merging #591
* href: https://github.com/ProofGeneral/PG/pull/593#issuecomment-915560731
---
Makefile | 1 +
1 file changed, 1 insertion(+)
diff --git a/Makefile b/Makefile
index 1c0a8ff..891d2a6 100644
--- a/Makefile
+++ b/Makefile
@@ -134,6 +134,7 @@ tests:
dist-tests:
+$(MAKE) -C ci/simple-tests all
+$(MAKE) -C ci/compile-tests test
+ +$(MAKE) -C ci/test-indent
##
## check-doc-magic : check *.texi are up-to-date w.r.t. docstrings
