From ff69bd5b323b50dac3335baef2f008b38722a3af Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Thu, 10 Mar 2022 15:40:47 +0100
Subject: [PATCH] [Makefile] adds missing depency to config.sed

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 110849e97c3..3ff67460499 100644
--- a/Makefile
+++ b/Makefile
@@ -226,7 +226,7 @@ run-ptests: config.sed purge-tests ptests/ptests.exe ptests/wtests.exe
 	$(PTESTS) $(PTEST_OPTS) $(PTEST_DIRS)
 
 .PHONY: run-ptests.replay
-run-ptests.replay: ptests/ptests.exe
+run-ptests.replay: config.sed ptests/ptests.exe
 	$(PTESTS) $(PTEST_OPTS) $(PTEST_DIRS)
 
 # Run tests of for all configurations (and build all dune files)
@@ -238,13 +238,13 @@ run-tests: run-ptests
 # Replay tests of for all configurations (requires  all dune files)
 .PHONY: test.replay
 tests.replay: FRAMAC_WP_CACHE=replay
-tests.replay:
+tests.replay: config.sed
 	dune build $(PTEST_ALIASES)
 
 # Update cache entries of for all configurations (requires all dune files)
 .PHONY: tests.update-wp-cache
 tests.update-wp-cache: FRAMAC_WP_CACHE=update
-tests.update-wp-cache:
+tests.update-wp-cache: config.sed
 	dune build $(PTEST_ALIASES)
 
 .PHONY: tests
-- 
GitLab