summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSon Ho2021-12-07 17:51:16 +0100
committerSon Ho2021-12-07 17:51:16 +0100
commit119de329f565281f5260b00cbc5fb623f6076ed4 (patch)
treec4b70ea6e97c62ae9726a84d3a2f34e6152aefb8
parente3c247adacb1702e9846c7ca02d80a7f96a2abf4 (diff)
Move files around
-rw-r--r--Makefile5
-rw-r--r--tests/trace_reference.txt (renamed from trace_reference.txt)0
2 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
diff --git a/trace_reference.txt b/tests/trace_reference.txt
index ee8828da..ee8828da 100644
--- a/trace_reference.txt
+++ b/tests/trace_reference.txt