From 221b68de1a06c0833fb91e26f27721e8f928d45c Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Wed, 16 Dec 2020 23:21:39 +0100
Subject: ensure vo compilation for tests, increase parallelism, more config
 output

---
 coq/coq-par-compile.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'coq')

diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el
index c4e45af8..7d15537b 100644
--- a/coq/coq-par-compile.el
+++ b/coq/coq-par-compile.el
@@ -42,6 +42,7 @@
 ;; - coq-par-create-file-job detects a dependency cycle
 ;; - coq-par-create-file-job finds a job in every possible state
 ;; - coq-par-create-file-job finds a failed job
+;; - all tests in all quick and all vos variants
 
 ;;; Code:
 
-- 
cgit v1.2.3