diff options
Diffstat (limited to 'doc/changelog/11-infrastructure-and-dependencies/12583-fix-remake.rst')
| -rw-r--r-- | doc/changelog/11-infrastructure-and-dependencies/12583-fix-remake.rst | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/doc/changelog/11-infrastructure-and-dependencies/12583-fix-remake.rst b/doc/changelog/11-infrastructure-and-dependencies/12583-fix-remake.rst deleted file mode 100644 index d9c8b634d6..0000000000 --- a/doc/changelog/11-infrastructure-and-dependencies/12583-fix-remake.rst +++ /dev/null @@ -1,5 +0,0 @@ -- **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 <https://github.com/coq/coq/pull/12583>`_, - fixes `#12582 <https://github.com/coq/coq/issues/12582>`_, by Jason Gross). |