max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: fix copy-produced

Browse source
This commit is contained in:
Sebastian Ullrich 2021-12-17 12:19:01 +01:00
parent 51adfa2e0c
commit ca740f5687
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
tests/lean/copy-produced
View file

@ -2,6 +2,6 @@
root="$(realpath $(dirname $0))"
cd ${1:-$PWD}
for f in *.produced.out; do
cp $f "$root/${f/produced/expected}"
for f in $(find . -name '*.expected.out'); do
cp ${f/expected/produced} "$root/$f"
done