diff options
| author | Hendrik Tews | 2020-12-05 18:05:39 +0100 |
|---|---|---|
| committer | hendriktews | 2020-12-19 16:43:49 +0100 |
| commit | 163ff8d20276be0e932474cdd6cb2c3086c5be9c (patch) | |
| tree | 6d1d3a2b6bd61f79b437c0ec2fd2eaa35a2c5448 /ci/compile-tests/003-require-error/Makefile | |
| parent | aa4d3dc3191de41476f92af90de076bb06990f75 (diff) | |
add tests for parallel background compilation
Diffstat (limited to 'ci/compile-tests/003-require-error/Makefile')
| -rw-r--r-- | ci/compile-tests/003-require-error/Makefile | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/ci/compile-tests/003-require-error/Makefile b/ci/compile-tests/003-require-error/Makefile new file mode 100644 index 00000000..4ae0a433 --- /dev/null +++ b/ci/compile-tests/003-require-error/Makefile @@ -0,0 +1,19 @@ +# 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) + + +.PHONY: test +test: + $(MAKE) clean + emacs -batch -l ert -l ../../../generic/proof-site.el -l ../cct-lib.el \ + -l test.el -f ert-run-tests-batch-and-exit + +.PHONY: clean +clean: + rm -f *.vo *.glob *.vio *.vos *.vok .*.aux |