From 8be3897a8bc78e24b485809d76bb720edd5dedca Mon Sep 17 00:00:00 2001
From: Joachim Breitner <mail@joachim-breitner.de>
Date: Fri, 1 Dec 2023 15:34:52 +0100
Subject: [PATCH] chore: improve tests/lean/copy-produced (#3006)

* do not take an argument, no longer needed
* make it whitespace-in-filenames safe
* copy verbosely when there are changes, for better user feedback
---
 tests/lean/copy-produced | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

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