From f6a9b60b28c5cc9feb95d13411941a4604d6cae9 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Mon, 2 Dec 2019 15:33:12 -0500
Subject: Add non-utf8 timing test

This should have been running already, but it was forgotten in #9872
---
 test-suite/coq-makefile/timing/precomputed-time-tests/run.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'test-suite')

diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/run.sh b/test-suite/coq-makefile/timing/precomputed-time-tests/run.sh
index 9f3b648aa3..cfacf738a3 100755
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/run.sh
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/run.sh
@@ -9,3 +9,4 @@ export COQLIB
 
 ./001-correct-diff-sorting-order/run.sh
 ./002-single-file-sorting/run.sh
+./003-non-utf8/run.sh
-- 
cgit v1.2.3