summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorSon Ho2021-12-07 17:51:16 +0100
committerSon Ho2021-12-07 17:51:16 +0100
commit119de329f565281f5260b00cbc5fb623f6076ed4 (patch)
treec4b70ea6e97c62ae9726a84d3a2f34e6152aefb8 /Makefile
parente3c247adacb1702e9846c7ca02d80a7f96a2abf4 (diff)
Move files around
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 3 insertions, 2 deletions
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