diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2016-11-30 12:22:37 +0100 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2016-11-30 15:08:12 +0100 |
| commit | 60bf4ce887474116a152045296ff849e4fa00402 (patch) | |
| tree | b311cc17e5d794bc43cb8eba100da27d4ac2066f /coq/coq-par-test.el | |
| parent | 514403a0382b380be7acc5d3e0a5ec34d10fe227 (diff) | |
use coq-- for internal compilation variables
Diffstat (limited to 'coq/coq-par-test.el')
| -rw-r--r-- | coq/coq-par-test.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/coq/coq-par-test.el b/coq/coq-par-test.el index c2d3bc9e..f60baacf 100644 --- a/coq/coq-par-test.el +++ b/coq/coq-par-test.el @@ -21,7 +21,7 @@ (require 'coq-par-compile) -(defconst coq-par-job-needs-compilation-tests +(defconst coq--par-job-needs-compilation-tests ;; for documentation see the doc string following the init value '( ;; present files | compilation? | delete | 'req-obj-file @@ -769,7 +769,7 @@ relative ages.") (not (eq (car (last (car test))) 'vo))) nil (concat test-id " 5"))))) (cdr test)))) - coq-par-job-needs-compilation-tests)) + coq--par-job-needs-compilation-tests)) (defun test-coq-par-sym-to-file (dir sym) "Convert a test file symbol SYM to a file name in directory DIR." @@ -785,7 +785,7 @@ relative ages.") "Do one test for one specific `coq-compile-quick' value. This function creates the files in DIR, sets up a job with the -necessary fields, calls `coq-par-job-needs-compilation-tests' and +necessary fields, calls `coq--par-job-needs-compilation-tests' and test the result and side effects wth `assert'." (let ((id (format "%s: %s %s%s" counter (car variant) file-descr (if dep-just-compiled " just" ""))) @@ -937,7 +937,7 @@ test the result and side effects wth `assert'." (when (eq (car (last (car test))) 'dep) (test-coq-par-one-spec dir (car test) variant t))) (cdr test))) - coq-par-job-needs-compilation-tests)) + coq--par-job-needs-compilation-tests)) (condition-case err (progn |