[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general ad36557 4/6: test: Extend dist-tests target
|
From: |
ELPA Syncer |
|
Subject: |
[nongnu] elpa/proof-general ad36557 4/6: test: Extend dist-tests target after merging #591 |
|
Date: |
Sun, 12 Sep 2021 15:57:40 -0400 (EDT) |
branch: elpa/proof-general
commit ad3655744050f4ac0d16435ebac7133f8b5f9a58
Author: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Commit: Erik Martin-Dorel <erik.martin-dorel@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
- [nongnu] elpa/proof-general updated (32b15ff -> eb97857), ELPA Syncer, 2021/09/12
- [nongnu] elpa/proof-general 75062f6 2/6: test: Add dist-tests target & Refactor .github/workflows/test.yml, ELPA Syncer, 2021/09/12
- [nongnu] elpa/proof-general eb97857 6/6: Merge pull request #593 from ProofGeneral/stefan, ELPA Syncer, 2021/09/12
- [nongnu] elpa/proof-general ad36557 4/6: test: Extend dist-tests target after merging #591,
ELPA Syncer <=
- [nongnu] elpa/proof-general d2d1a73 1/6: Minor tweaks encountered while trying to run the CI tests, ELPA Syncer, 2021/09/12
- [nongnu] elpa/proof-general 5519af7 3/6: test: Add check-doc-magic target & Restrict its git-diff test to doc, ELPA Syncer, 2021/09/12
- [nongnu] elpa/proof-general ce0f2f3 5/6: fix(dist-tests): `make dist-tests` also runs `make tests check-doc-magic`, ELPA Syncer, 2021/09/12