diff --git a/Makefile b/Makefile index 6387445..6080759 100644 --- a/Makefile +++ b/Makefile @@ -19,7 +19,7 @@ $(RUN_TESTS_BC): dune exec examples/$(patsubst run-%,%,$@.bc) $(RUN_TESTS_EXE): - dune exec examples/$(patsubst run-%,%,$@.exe) + dune exec examples/$(patsubst run-%,%,$@) run-cbor-explorer.exe: rm curdir.cbor || true