bench: mv input files to bench/input

only used by input crate, avoid cluttering bench dir
This commit is contained in:
Noah Hellman 2023-04-10 11:38:32 +02:00
parent bee3d5d747
commit 5de8543bb0
3 changed files with 3 additions and 3 deletions

View file

@ -49,7 +49,7 @@ bench:
git submodule update --init modules/djot.js
for f in $$(find modules/djot.js/bench -name '*.dj' | xargs basename -a); do \
dst=$$(echo $$f | sed 's/-/_/g'); \
ln -fs ../modules/djot.js/bench/$$f bench/$$dst; \
ln -fs ../../modules/djot.js/bench/$$f bench/input/$$dst; \
done
cov: suite suite_bench