commit 921b4a408cb2ce50e4eb8336ce41c398c805566b
author Johnathan Van Why <jrvanwhy@google.com> Mon Jan 11 16:45:57 2021 -0800
committer Johnathan Van Why <jrvanwhy@google.com> Mon Jan 11 16:45:57 2021 -0800
tree f3cb13b23378b63c216bc90d1aa3d37168811fbc
parent 6c8be576da319466693fea39d12ac4c1e3fc48fb

Specify LIBTOCK_PLATFORM in `make test` so `libtock_runtime` builds.

Makefile

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