dev/bench/bench.sh | 2 1 + 1 - 0 !
dev/bench/plotter | 2 1 + 1 - 0 !
dev/bench/sort-by-deps.sh | 2 1 + 1 - 0 !
dev/ci/ci-basic-overlay.sh | 2 1 + 1 - 0 !
dev/ci/ci-wrapper.sh | 2 1 + 1 - 0 !
dev/doc/profiling.md | 2 1 + 1 - 0 !
dev/dune-dbg.in | 2 1 + 1 - 0 !
dev/lint-commits.sh | 2 1 + 1 - 0 !
dev/lint-repository.sh | 2 1 + 1 - 0 !
dev/shim/dune | 10 5 + 5 - 0 !
dev/tools/backport-pr.sh | 2 1 + 1 - 0 !
dev/tools/check-eof-newline.sh | 2 1 + 1 - 0 !
dev/tools/check-overlays.sh | 2 1 + 1 - 0 !
dev/tools/create_overlays.sh | 2 1 + 1 - 0 !
dev/tools/generate-release-changelog.sh | 2 1 + 1 - 0 !
dev/tools/list-contributors.sh | 2 1 + 1 - 0 !
dev/tools/make_git_revision.sh | 2 1 + 1 - 0 !
dev/tools/markdown-toc | 2 1 + 1 - 0 !
dev/tools/merge-pr.sh | 2 1 + 1 - 0 !
dev/tools/pin-ci.sh | 2 1 + 1 - 0 !
dev/tools/pipeline-stats.py | 2 1 + 1 - 0 !
doc/corelib/make-library-index | 2 1 + 1 - 0 !
doc/tools/coqrst/notations/fontsupport.py | 2 1 + 1 - 0 !
doc/tools/coqrst/regen_readme.py | 2 1 + 1 - 0 !
test-suite/coq-makefile/arg/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/camldep/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/coqdep-attribute/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/coqdoc1/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/coqdoc2/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/emptyprefix/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/expand-directories/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/expand-directories2/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/extend-subdirs/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/findlib-package-unpacked/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/findlib-package/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/gen-v-during-make/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/latex1/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/local-late-extension/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/merlin1/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/missing-included/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/missing-install/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/missing-required/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/mlpack1/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/mlpack2/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/multiroot/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/native1/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/native2/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/native3/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/native4/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/only/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/plugin1/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/plugin2/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/plugin3/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/timing-aggregate/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/timing-error/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/timing-per-file/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/timing-template/init.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/uninstall1/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/uninstall2/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/validate1/run.sh | 2 1 + 1 - 0 !
test-suite/coq-makefile/vos/run.sh | 2 1 + 1 - 0 !
test-suite/misc/11170.sh | 2 1 + 1 - 0 !
test-suite/misc/13330.sh | 2 1 + 1 - 0 !
test-suite/misc/7704.sh | 2 1 + 1 - 0 !
test-suite/misc/bench-render.sh | 2 1 + 1 - 0 !
test-suite/misc/bug_14550.sh | 2 1 + 1 - 0 !
test-suite/misc/changelog.sh | 2 1 + 1 - 0 !
test-suite/misc/coq_environment.sh | 2 1 + 1 - 0 !
test-suite/misc/coq_makefile_destination_of.sh | 2 1 + 1 - 0 !
test-suite/misc/coqc_dash_o.sh | 2 1 + 1 - 0 !
test-suite/misc/coqc_dash_vok.sh | 2 1 + 1 - 0 !
test-suite/misc/coqdep-require-filter-categories.sh | 2 1 + 1 - 0 !
test-suite/misc/coqdoc-options.sh | 2 1 + 1 - 0 !
test-suite/misc/coqtop_print-mod-uid.sh | 2 1 + 1 - 0 !
test-suite/misc/non-marshalable-state.sh | 2 1 + 1 - 0 !
test-suite/misc/poly-capture-global-univs.sh | 2 1 + 1 - 0 !
test-suite/misc/qed-time.sh | 2 1 + 1 - 0 !
test-suite/misc/quotation_token.sh | 2 1 + 1 - 0 !
test-suite/misc/redirect_printing.sh | 2 1 + 1 - 0 !
test-suite/misc/side-eff-leak-univs.sh | 2 1 + 1 - 0 !
test-suite/misc/tc_declaration_observer.sh | 2 1 + 1 - 0 !
test-suite/misc/universes/build_all_stdlib.sh | 2 1 + 1 - 0 !
test-suite/precomputed-time-tests/correct-diff-sorting-order-mem/run.sh | 2 1 + 1 - 0 !
test-suite/precomputed-time-tests/correct-diff-sorting-order/run.sh | 2 1 + 1 - 0 !
test-suite/precomputed-time-tests/no-output-sync/run.sh | 2 1 + 1 - 0 !
test-suite/precomputed-time-tests/non-utf8/run.sh | 2 1 + 1 - 0 !
test-suite/precomputed-time-tests/per-file-fuzz/run.sh | 2 1 + 1 - 0 !
test-suite/precomputed-time-tests/single-file-sorting/run.sh | 2 1 + 1 - 0 !
test-suite/precomputed-time-tests/strip-leading-pwd/run.sh | 4 2 + 2 - 0 !
test-suite/precomputed-time-tests/template/init.sh | 2 1 + 1 - 0 !
test-suite/precomputed-time-tests/zero-before/run.sh | 2 1 + 1 - 0 !
test-suite/primitive/float/gen_compare.sh | 2 1 + 1 - 0 !
test-suite/report.sh | 2 1 + 1 - 0 !
tools/make-both-single-timing-files.py | 2 1 + 1 - 0 !
tools/make-both-time-files.py | 2 1 + 1 - 0 !
tools/make-one-time-file.py | 2 1 + 1 - 0 !
96 files changed, 101 insertions(+), 101 deletions(-)

 use debian paths everywhere

tools/CoqMakefile.in | 6 3 + 3 - 0 !
tools/make-both-single-timing-files.py | 2 2 + 0 - 0 !
tools/make-both-time-files.py | 2 2 + 0 - 0 !
tools/make-one-time-file.py | 1 1 + 0 - 0 !
4 files changed, 8 insertions(+), 3 deletions(-)

 move the timing scripts to a saner location

test-suite/coq-makefile/arg/run.sh | 7 0 + 7 - 0 !
test-suite/coq-makefile/coqdoc1/run.sh | 75 0 + 75 - 0 !
test-suite/coq-makefile/coqdoc2/run.sh | 73 0 + 73 - 0 !
test-suite/coq-makefile/emptyprefix/run.sh | 17 0 + 17 - 0 !
test-suite/coq-makefile/extend-subdirs/run.sh | 8 0 + 8 - 0 !
test-suite/coq-makefile/findlib-package/run.sh | 21 0 + 21 - 0 !
test-suite/coq-makefile/latex1/run.sh | 13 0 + 13 - 0 !
test-suite/coq-makefile/merlin1/run.sh | 13 0 + 13 - 0 !
test-suite/coq-makefile/mlpack1/run.sh | 35 0 + 35 - 0 !
test-suite/coq-makefile/mlpack2/run.sh | 35 0 + 35 - 0 !
test-suite/coq-makefile/multiroot/run.sh | 77 0 + 77 - 0 !
test-suite/coq-makefile/only/run.sh | 10 0 + 10 - 0 !
test-suite/coq-makefile/plugin2/run.sh | 38 0 + 38 - 0 !
test-suite/coq-makefile/plugin3/run.sh | 38 0 + 38 - 0 !
test-suite/coq-makefile/uninstall1/run.sh | 26 0 + 26 - 0 !
test-suite/coq-makefile/uninstall2/run.sh | 26 0 + 26 - 0 !
test-suite/coq-makefile/validate1/run.sh | 8 0 + 8 - 0 !
test-suite/misc/printers.sh | 12 0 + 12 - 0 !
18 files changed, 532 deletions(-)

 disable tests which require -coqlib to be set

test-suite/coq-makefile/findlib-package-unpacked/run.sh | 22 0 + 22 - 0 !
1 file changed, 22 deletions(-)

 disable tests which require ocamlopt
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 8bit