Skip to content

Commit 0cf6102

Browse files
committed
fix
1 parent c99e66d commit 0cf6102

File tree

2 files changed

+5
-4
lines changed

2 files changed

+5
-4
lines changed

.github/scripts/sketch_utils.sh

+4-4
Original file line numberDiff line numberDiff line change
@@ -586,13 +586,13 @@ if [ -z "$cmd" ]; then
586586
fi
587587

588588
case "$cmd" in
589-
"count") count_sketches "$*"
589+
"count") count_sketches "$@"
590590
;;
591-
"build") build_sketch "$*"
591+
"build") build_sketch "$@"
592592
;;
593-
"chunk_build") build_sketches "$*"
593+
"chunk_build") build_sketches "$@"
594594
;;
595-
"check_requirements") check_requirements "$*"
595+
"check_requirements") check_requirements "$@"
596596
;;
597597
*)
598598
echo "ERROR: Unrecognized command"

.shellcheckrc

+1
Original file line numberDiff line numberDiff line change
@@ -7,4 +7,5 @@ enable=add-default-case,deprecate-which,avoid-nullary-conditions
77
external-sources=true
88

99
# Search folder for sourced files
10+
# Considering the scripts being in .github/scripts, the source path is set to the root of the repository.
1011
source-path=SCRIPTDIR/../..

0 commit comments

Comments
 (0)