[devel-distro] [PATCH 4/4] bin/archdep-filter: a debugging note

[Michael Shigorin]

...just to have it handy when it's in need next time.
---
 bin/archdep-filter | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/bin/archdep-filter b/bin/archdep-filter
index 7802e7e15..28681e10d 100755
--- a/bin/archdep-filter
+++ b/bin/archdep-filter
@@ -49,3 +49,7 @@ if [ -n "$f" ]; then
 else
 	cat
 fi
+
+# stick this for debugging sed pipeline and run the script
+# with >/dev/null to see what flows in a particular place:
+#   tee /dev/stderr |
-- 
2.33.0