Merge pull request #6155 from kit-ty-kate/speedup-reftest-gen

Speedup "make reftest-gen"
ocaml · Aug 14, 2024 · 6fc00fd · 6fc00fd
2 parents f74e661 + eb9fec1
commit 6fc00fd
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -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

diff --git a/master_changes.md b/master_changes.md
@@ -165,6 +165,7 @@ users)
   * Add a test filtering mechanism [#6105 @Keryan-dev]
   * Add a test filter on N0REP0 first line [#6105 @Keryan-dev]
   * Add a makefile target `quick-test` to launch only `N0REP0` tests [#6105 @Keryan-dev]
+  * Speedup `make reftest-gen` [#6155 @kit-ty-kate]
 
 ## Github Actions
   * Depexts: replace centos docker with almalinux to fake a centos [#6079 @rjbou]