Specify LIBTOCK_PLATFORM in `make test` so `libtock_runtime` builds.
diff --git a/Makefile b/Makefile index 779a021..da40d28 100644 --- a/Makefile +++ b/Makefile
@@ -78,9 +78,9 @@ .PHONY: test test: examples test-qemu-hifive - PLATFORM=nrf52 cargo fmt --all -- --check - PLATFORM=nrf52 cargo clippy --workspace --all-targets - PLATFORM=nrf52 cargo miri test --workspace + LIBTOCK_PLATFORM=nrf52 PLATFORM=nrf52 cargo fmt --all -- --check + LIBTOCK_PLATFORM=nrf52 PLATFORM=nrf52 cargo clippy --workspace --all-targets + LIBTOCK_PLATFORM=nrf52 PLATFORM=nrf52 cargo miri test --workspace echo '[ SUCCESS ] libtock-rs tests pass' .PHONY: analyse-stack-sizes