Skip to content

Commit

Permalink
Fix make-to-shell leftover
Browse files Browse the repository at this point in the history
  • Loading branch information
chrysn committed Aug 23, 2024
1 parent 442637f commit 220ecc9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion build-with-checkouts.sh
Original file line number Diff line number Diff line change
Expand Up @@ -14,4 +14,4 @@ git clone "${RIOT_REPO}" -b "${RIOT_BRANCH}"
# TBD: Like RIOT_BRANCH, allow overiding repos / branches for other
# repositories and create patches for those.
cargo update
$(MAKE) build-cargo-docs
make build-cargo-docs

0 comments on commit 220ecc9

Please sign in to comment.