Gate tests on typed Android client sources

ober

be2f0fc6062eb17d1ad52e4ed855b194d20cd43a

diff --git a/Makefile b/Makefile
index 1f35b02..49b7229 100644
--- a/Makefile
+++ b/Makefile
@@ -14,7 +14,7 @@ export ANDROID_HOME
 export ANDROID_SDK_ROOT
 export PATH := $(JAVA_HOME)/bin:/opt/homebrew/bin:$(PATH)
 
-.PHONY: help clean generate test security supply-chain verify ssd-generate ssd-compile original-tactics-generate original-tactics-compile release-evidence apk
+.PHONY: help clean generate test check-no-raw-kotlin security supply-chain verify ssd-generate ssd-compile original-tactics-generate original-tactics-compile release-evidence apk
 .NOTPARALLEL:
 
 help:
@@ -41,7 +41,7 @@ apk: clean
 	JAVA_HOME="$$JDK_HOME" scripts/verified-gradle.sh --no-daemon \
 		-p $(BUILD_DIR) assembleDebug
 
-test: clean generate
+test: check-no-raw-kotlin clean generate
 	test -f $(BUILD_DIR)/settings.gradle.kts
 	test -f $(BUILD_DIR)/app/build.gradle.kts
 	cmp supply-chain/gradle-verification-metadata.xml $(BUILD_DIR)/gradle/verification-metadata.xml
@@ -64,6 +64,9 @@ test: clean generate
 	$(MAKE) security
 	$(MAKE) supply-chain
 
+check-no-raw-kotlin:
+	scripts/check-no-raw-kotlin.sh
+
 security:
 	JERBOA="$(JERBOA)" tests/security-test.sh
 	JERBOA="$(JERBOA)" tests/ssd-security-test.sh