diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 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 |