From 037529ab43deb031bd3796eb47bca28fa97979ba Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sat, 29 Jan 2022 19:07:19 +0100
Subject: Update the Makefile

---
 Makefile | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index a9b24400..3227e0eb 100644
--- a/Makefile
+++ b/Makefile
@@ -17,16 +17,15 @@ build-run:
 build-run-check-trace: generate-cfim
 	dune build src/main.exe && \
 	dune exec src/main.exe $(CFIM_TEST_FILE) > tests/trace_current.txt && \
-	cmp tests/trace_reference.txt tests/trace_current.txt && \
-	rm tests/trace_current.txt
+	cmp tests/trace_reference.txt tests/trace_current.txt
 
 # Build the project and update the trace
 .PHONY: regen-trace
 regen-trace: generate-cfim
 	dune build src/main.exe && \
 	dune exec src/main.exe $(CFIM_TEST_FILE) > tests/trace_current.txt && \
-        rm tests/trace_reference.txt && \
-	mv tests/trace_current.txt tests/trace_reference.txt
+        rm -f tests/trace_reference.txt && \
+	cp tests/trace_current.txt tests/trace_reference.txt
 
 .PHONY: generate-cfim
 generate-cfim:
-- 
cgit v1.2.3