From 7bc01877affccbb3d8834c36c5cde2669f71177b Mon Sep 17 00:00:00 2001
From: Martin <Ho-Ro@users.noreply.github.com>
Date: Mon, 5 Dec 2022 09:42:54 +0100
Subject: [PATCH] inprove make robustness

Signed-off-by: Martin <Ho-Ro@users.noreply.github.com>
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 26f3eae..72ec4f7 100644
--- a/Makefile
+++ b/Makefile
@@ -320,8 +320,8 @@ release: tinySA tinySA4
 .PHONY: tinySA
 tinySA:
 	$(MAKE) clean
-	$(MAKE) -j
-	$(MAKE) binaries
+	TARGET=F072 $(MAKE) -j
+	TARGET=F072 $(MAKE) binaries
 	@ls -l tinySA*