From cd03a27b917dedc129af980a6099b20134cba9f5 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 9 Oct 2019 10:38:51 +0200
Subject: Adding a test for votour.

---
 test-suite/misc/votour.sh | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100755 test-suite/misc/votour.sh

(limited to 'test-suite/misc')

diff --git a/test-suite/misc/votour.sh b/test-suite/misc/votour.sh
new file mode 100755
index 0000000000..ac26aed49b
--- /dev/null
+++ b/test-suite/misc/votour.sh
@@ -0,0 +1,3 @@
+command -v "${BIN}votour" || { echo "Missing votour"; exit 1; }
+
+"${BIN}votour" prerequisite/ssr_mini_mathcomp.vo < /dev/null
-- 
cgit v1.2.3