From 7722f3af992df1f0fb1822286863fe4c67bea3a4 Mon Sep 17 00:00:00 2001
From: Philippe Teuwen <phil@teuwen.org>
Date: Fri, 9 Aug 2019 16:03:14 +0200
Subject: [PATCH] Guard Makefile.hal against Make trying to remake it

---
 common/Makefile.hal | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/common/Makefile.hal b/common/Makefile.hal
index 68de2b154..af80bc6ac 100644
--- a/common/Makefile.hal
+++ b/common/Makefile.hal
@@ -2,6 +2,8 @@
 PLATFORM?=PM3RDV4
 
 # Standalone Mode info (path depends if make is called at top or from armsrc)
+# Guard Makefile.hal against implicit rules: (with % to avoid being first goal)
+%/Makefile.hal: ;
 -include armsrc/Standalone/Makefile.hal
 -include Standalone/Makefile.hal
 ifndef DEFAULT_STANDALONE