update

shellspec · Jul 20, 2019 · 372b0d7 · 372b0d7
1 parent 18577dd
commit 372b0d7
Showing 1 changed file with 16 additions and 10 deletions.
diff --git a/contrib/various_test.sh b/contrib/various_test.sh
@@ -4,13 +4,19 @@ set -eu
 
 : "${SH:=sh}"
 
-$SH shellspec --banner
-$SH shellspec --no-banner --skip-message quiet -j 3
-$SH shellspec --no-banner --skip-message quiet $($SH shellspec --list specfiles | head -n 5)
-$SH shellspec --no-banner --skip-message quiet $($SH shellspec --list examples:lineno | head -n 5)
-$SH shellspec --no-banner --skip-message quiet spec/general_spec.sh:40:60:80:100
-$SH shellspec --no-banner --skip-message quiet --profile
-$SH shellspec --syntax-check
-$SH shellspec --count
-$SH shellspec --task
-$SH shellspec --task hello:shellspec
+shellspec() {
+  set -- "$SH" shellspec --shell "$SH" "$@"
+  echo "# $@"
+  "$@"
+}
+
+shellspec --banner
+shellspec --no-banner --skip-message quiet -j 3
+shellspec --no-banner --skip-message quiet $($SH shellspec --list specfiles | head -n 5)
+shellspec --no-banner --skip-message quiet $($SH shellspec --list examples:lineno | head -n 5)
+shellspec --no-banner --skip-message quiet spec/general_spec.sh:40:60:80:100
+shellspec --no-banner --skip-message quiet --profile
+shellspec --syntax-check
+shellspec --count
+shellspec --task
+shellspec --task hello:shellspec