From 119de329f565281f5260b00cbc5fb623f6076ed4 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 7 Dec 2021 17:51:16 +0100
Subject: Move files around

---
 Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index d9159a1a..391a9ee7 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,8 @@
 all:
 	dune build src/main.exe && \
-	dune exec src/main.exe > trace_current.txt && \
-	cmp trace_reference.txt trace_current.txt
+	dune exec src/main.exe > tests/trace_current.txt && \
+	cmp tests/trace_reference.txt tests/trace_current.txt && \
+	rm tests/trace_current.txt
 
 doc:
 	dune build @doc
-- 
cgit v1.2.3