diff --git a/scripts/build_examples.sh b/scripts/check_examples.sh similarity index 92% rename from scripts/build_examples.sh rename to scripts/check_examples.sh index 3c9c3b7cd..69947af43 100755 --- a/scripts/build_examples.sh +++ b/scripts/check_examples.sh @@ -21,6 +21,6 @@ for EXAMPLE in */*; do fi pushd "$EXAMPLE" - cargo build --all-targets + cargo check --all-targets popd done