diff options
| author | Pierre-Marie Pédrot | 2020-01-08 14:38:18 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-01-08 14:38:18 +0100 |
| commit | 3cdbd61f3acf0722c92f8192425eb1a677270b08 (patch) | |
| tree | f907d758a3355b4a5a0481579ca019007d9c4f47 | |
| parent | cfc41cb79e2364f19d97e7e5c94262132972b0b2 (diff) | |
| parent | f6a9b60b28c5cc9feb95d13411941a4604d6cae9 (diff) | |
Merge PR #11341: Add non-utf8 timing test
Reviewed-by: ppedrot
| -rwxr-xr-x | test-suite/coq-makefile/timing/precomputed-time-tests/run.sh | 1 |
1 files changed, 1 insertions, 0 deletions
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 |