Skip to content

Commit 4bfd0dc

Browse files
committed
ci: Ensure there is a fallback for no_std
(backport <#4125>) (cherry picked from commit 907c6d6)
1 parent bcb4107 commit 4bfd0dc

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

ci/build.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ fi
2222
test_target() {
2323
build_cmd="${1}"
2424
target="${2}"
25-
no_std="${3}"
25+
no_std="${3:-}"
2626

2727
# If there is a std component, fetch it:
2828
if [ "${no_std}" != "1" ]; then

0 commit comments

Comments
 (0)