From 9690b138b13c0bb591c8c4aa6bb18cff5c79f655 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 24 Jun 2020 13:24:26 -0400 Subject: [test-suite] Fix dependencies of modules/ files Fixes #12582 The previous code said that `Nat.v.log` (and therefore `Nat.vo`) should be rebuilt anytime `Nat.v.log` is older than `plik.v.vo`, and also says that `plik.v.log` (and therefore `plik.vo`) should be rebuilt anytime `plik.v.log` is older than `Nat.vo`. This is circular, and results in `make` considering all of the `modules/` tests out-of-date on any fresh run. --- .../11-infrastructure-and-dependencies/12583-fix-remake.rst | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 doc/changelog/11-infrastructure-and-dependencies/12583-fix-remake.rst (limited to 'doc') diff --git a/doc/changelog/11-infrastructure-and-dependencies/12583-fix-remake.rst b/doc/changelog/11-infrastructure-and-dependencies/12583-fix-remake.rst new file mode 100644 index 0000000000..d9c8b634d6 --- /dev/null +++ b/doc/changelog/11-infrastructure-and-dependencies/12583-fix-remake.rst @@ -0,0 +1,5 @@ +- **Fixed:** + Running ``make`` in ``test-suite/`` twice (or more) in a row will no longer + rebuild the ``modules/`` tests on subsequent runs, if they have not been + modified in the meantime (`#12583 `_, + fixes `#12582 `_, by Jason Gross). -- cgit v1.2.3