bin/archdep-filter: a debugging note

...just to have it handy when it's in need next time.

bin/archdep-filter: a debugging note
ca6ec25e · Michael Shigorin · Anton Midyukov · b963e9bf · ca6ec25e
Commit ca6ec25e authored Nov 22, 2021 by Michael Shigorin Committed by Anton Midyukov Dec 04, 2021
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

archdep-filter bin/archdep-filter +4 -0

No files found.
--- 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 |