From ca740f56871b837f49fd0e3176c7fa1ca89f5c84 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 17 Dec 2021 12:19:01 +0100
Subject: [PATCH] chore: fix copy-produced

---
 tests/lean/copy-produced | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/lean/copy-produced b/tests/lean/copy-produced
index 877d08f558..d61ab156f1 100755
--- a/tests/lean/copy-produced
+++ b/tests/lean/copy-produced
@@ -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