summaryrefslogtreecommitdiff
path: root/check
diff options
context:
space:
mode:
Diffstat (limited to 'check')
-rwxr-xr-xcheck15
1 files changed, 12 insertions, 3 deletions
diff --git a/check b/check
index 0fdede0..795e2f7 100755
--- a/check
+++ b/check
@@ -4,6 +4,15 @@
set -eu -o pipefail
+cat_with_sep()
+{
+ for x in "$@"
+ do
+ cat "$x"
+ echo
+ done
+}
+
quiet=-q
hideok=chronic
if [ "$#" -gt 0 ]
@@ -23,9 +32,9 @@ trap 'rm -rf "$dir"' EXIT
rm -f test.log test.py
cp subplot.md "$dir"
-cat subplot.md roles/*/subplot.md > "$dir/subplot.md"
-cat subplot/*.py roles/*/subplot.py > "$dir/subplot.py"
-cat subplot/*.yaml roles/*/subplot.yaml > "$dir/subplot.yaml"
+cat_with_sep subplot.md roles/*/subplot.md > "$dir/subplot.md"
+cat_with_sep subplot/*.py roles/*/subplot.py > "$dir/subplot.py"
+cat_with_sep subplot/*.yaml roles/*/subplot.yaml > "$dir/subplot.yaml"
(
set -eu -o pipefail