From 76c72065a10381d91317c12436e3d6c1cd2e7348 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 28 Oct 2019 12:51:49 +0100
Subject: [test-suite] acknowledge coq_mafile installs .vos

---
 test-suite/coq-makefile/plugin2/run.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'test-suite/coq-makefile/plugin2')

diff --git a/test-suite/coq-makefile/plugin2/run.sh b/test-suite/coq-makefile/plugin2/run.sh
index 1e2bd979b3..cd47187582 100755
--- a/test-suite/coq-makefile/plugin2/run.sh
+++ b/test-suite/coq-makefile/plugin2/run.sh
@@ -22,5 +22,6 @@ sort > desired <<EOT
 ./test/test_plugin.cmxs
 ./test/test.v
 ./test/test.vo
+./test/test.vos
 EOT
 exec diff -u desired actual
-- 
cgit v1.2.3