From 084e7b290bd625e5d090410bf887bf81749a266f Mon Sep 17 00:00:00 2001
From: Alejandro Soto <alejandro@34project.org>
Date: Wed, 4 Oct 2023 16:34:30 -0600
Subject: Makefile: add %.bin to .PRECIOUS

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index c1ff7a3..5c4eb76 100644
--- a/Makefile
+++ b/Makefile
@@ -120,7 +120,7 @@ exe: exe/$(TOP)
 exe/%: $(OBJ_DIR)/%/V%.mk
 	$(MAKE) -C $(OBJ_DIR)/$* -f V$*.mk
 
-.PRECIOUS: $(SIM_OBJ_DIR)/% $(SIM_OBJ_DIR)/%.o $(SIM_OBJ_DIR)/%.bin $(SIM_OBJ_DIR)/%.cov
+.PRECIOUS: $(SIM_OBJ_DIR)/% $(SIM_OBJ_DIR)/%.o $(SIM_OBJ_DIR)/%.cov %.bin
 .SECONDEXPANSION:
 
 $(OBJ_DIR)/%.mk: \
-- 
cgit v1.2.3