From ee7d6f092d88afe380b6dfc41a74c83e0e650259 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 15 Feb 2021 01:29:04 +0000
Subject: [PATCH] Makefile: cargo-syntaxcheck targets

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Makefile b/Makefile
index 04990693..5780248a 100644
--- a/Makefile
+++ b/Makefile
@@ -154,6 +154,12 @@ js: templates/script.js
 extra-debug:
 extra-release: bundled-sources
 
+cargo-syntaxcheck: cargo-syntaxcheck-host cargo-syntaxcheck-wasm
+cargo-syntaxcheck-host:
+	$(CARGO) check --workspace
+cargo-syntaxcheck-wasm:
+	$(CARGO) check --target $(WASM) -p otter-wasm
+
 #---------- cargo ----------
 
 DR=debug release
-- 
2.30.2