diff --git a/tests/lean/copy-produced b/tests/lean/copy-produced
index 89d44a76e4..0f9de5852d 100755
--- a/tests/lean/copy-produced
+++ b/tests/lean/copy-produced
@@ -1,7 +1,11 @@
 #!/usr/bin/env bash
 
-root="$(realpath $(dirname $0))"
-cd ${1:-$PWD}
-for f in $(find . -name '*.expected.out'); do
-    cp ${f/.expected/.produced} "$root/$f"
+#
+# Updates all *.expected.out files it finds within tests/lean
+#
+
+find "$(dirname "$0")" -name '*.expected.out' |
+while read -r to; do
+  from="${to/.expected.out/.produced.out}"
+  cmp -s "$from" "$to" || cp -v "$from" "$to"
 done