diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-03-22 12:54:31 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-03-22 12:54:31 +0100 |
| commit | 04d2a16c4ffd2f3ddfbaf3848093424228e7d918 (patch) | |
| tree | c99b6bc354f09e06d405f70f3ff2658e262987b2 /THANKS | |
| parent | c1cd155aa8afa17e60491c85e8f226f99257d395 (diff) | |
| download | patches-04d2a16c4ffd2f3ddfbaf3848093424228e7d918.tar patches-04d2a16c4ffd2f3ddfbaf3848093424228e7d918.tar.gz | |
publish: Always build a new derivation for the "/log/NAME" test.
Fixes <https://bugs.gnu.org/30868>.
Reported by Martin Castillo <castilma@uni-bremen.de>.
* tests/publish.scm ("/log/NAME"): Use #$(random-text) in the builder.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions