diff options
| -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 |