Skip to content

Commit

Permalink
Speedup "make reftest-gen"
Browse files Browse the repository at this point in the history
  • Loading branch information
kit-ty-kate committed Aug 13, 2024
1 parent d0b0d8d commit 0cf6c63
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -230,7 +230,6 @@ tests-%: $(DUNE_DEP) src/client/no-git-version
$(DUNE) build $(DUNE_ARGS) $(DUNE_PROFILE_ARG) --root . @reftest-legacy-$* --force

reftest-gen: src/client/no-git-version
echo >tests/reftests/dune.inc
$(DUNE) build $(DUNE_ARGS) $(DUNE_PROFILE_ARG) --root . @reftest-gen --auto-promote --force

reftest-runner: $(DUNE_DEP) src/client/no-git-version
Expand Down

0 comments on commit 0cf6c63

Please sign in to comment.