From eb9fec16f8971254d65377126416b8a37eae2caf Mon Sep 17 00:00:00 2001 From: Kate Date: Tue, 13 Aug 2024 19:37:01 +0100 Subject: [PATCH] Speedup "make reftest-gen" --- Makefile | 1 - master_changes.md | 1 + 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 7161e891e41..4cad15d7c7b 100644 --- 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 index 927d6efea0b..18f6a00c3ad 100644 --- a/master_changes.md +++ b/master_changes.md @@ -164,6 +164,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]