diff options
Diffstat (limited to 'ci/compile-tests/003-require-error')
| -rw-r--r-- | ci/compile-tests/003-require-error/Makefile | 4 | ||||
| -rw-r--r-- | ci/compile-tests/003-require-error/runtest.el (renamed from ci/compile-tests/003-require-error/test.el) | 3 |
2 files changed, 5 insertions, 2 deletions
diff --git a/ci/compile-tests/003-require-error/Makefile b/ci/compile-tests/003-require-error/Makefile index 4ae0a433..95f05017 100644 --- a/ci/compile-tests/003-require-error/Makefile +++ b/ci/compile-tests/003-require-error/Makefile @@ -11,8 +11,8 @@ .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 + emacs -batch -l ../../../generic/proof-site.el -l ../cct-lib.el \ + -l runtest.el -f ert-run-tests-batch-and-exit .PHONY: clean clean: diff --git a/ci/compile-tests/003-require-error/test.el b/ci/compile-tests/003-require-error/runtest.el index 0a0dd3d4..c5e2a713 100644 --- a/ci/compile-tests/003-require-error/test.el +++ b/ci/compile-tests/003-require-error/runtest.el @@ -25,6 +25,9 @@ ;; and where a1, a2 and a3 are the 3 require commands in file a.v +;; require cct-lib for the elisp compilation, otherwise this is present already +(require 'cct-lib) + ;;; set configuration (cct-configure-proof-general) |