diff options
| author | Hendrik Tews | 2020-12-15 21:54:53 +0100 |
|---|---|---|
| committer | hendriktews | 2020-12-19 16:43:49 +0100 |
| commit | 12be85a9032ebed02d9b65da7848ab173081f41a (patch) | |
| tree | fa10cd50dccf09de5dad10aea64c40b1e58bc8c4 /ci/compile-tests/006-ready-dependee/Makefile | |
| parent | 8bca3fbcf3e2aa51e1035ec0349dc52b652bb9ad (diff) | |
include compile tests in CI elisp compilation
Diffstat (limited to 'ci/compile-tests/006-ready-dependee/Makefile')
| -rw-r--r-- | ci/compile-tests/006-ready-dependee/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ci/compile-tests/006-ready-dependee/Makefile b/ci/compile-tests/006-ready-dependee/Makefile index fe014bfc..eb622301 100644 --- a/ci/compile-tests/006-ready-dependee/Makefile +++ b/ci/compile-tests/006-ready-dependee/Makefile @@ -17,8 +17,8 @@ TEST_SOURCES:=a.v b.v c.v d.v e.v f.v g.v h.v i.v j.v k.v test: $(MAKE) clean $(MAKE) $(TEST_SOURCES) - emacs -batch -l ert -l ../../../generic/proof-site.el -l ../cct-lib.el \ - -l test.el -f ert-run-tests-batch-and-exit + emacs -batch -l ../../../generic/proof-site.el -l ../cct-lib.el \ + -l runtest.el -f ert-run-tests-batch-and-exit %.v: %.v.orig cp $< $@ |