diff options
author | Son Ho | 2021-12-07 17:51:16 +0100 |
---|---|---|
committer | Son Ho | 2021-12-07 17:51:16 +0100 |
commit | 119de329f565281f5260b00cbc5fb623f6076ed4 (patch) | |
tree | c4b70ea6e97c62ae9726a84d3a2f34e6152aefb8 | |
parent | e3c247adacb1702e9846c7ca02d80a7f96a2abf4 (diff) |
Move files around
Diffstat (limited to '')
-rw-r--r-- | Makefile | 5 | ||||
-rw-r--r-- | tests/trace_reference.txt (renamed from trace_reference.txt) | 0 |
2 files changed, 3 insertions, 2 deletions
@@ -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 |