diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-06-11 23:17:16 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-06-11 23:33:32 +0200 |
| commit | 79477def6b08437e4eacaf67c012ae8717bd64e3 (patch) | |
| tree | b7b743b63aff785c114035a116a139b4ceaea6d8 /scripts | |
| parent | e21adc768e7e40362a26b60e73ecc30e988d79e0 (diff) | |
| download | patches-79477def6b08437e4eacaf67c012ae8717bd64e3.tar patches-79477def6b08437e4eacaf67c012ae8717bd64e3.tar.gz | |
tests: Write the random seed to the error port.
* guix/tests.scm (random-seed): New procedure.
(%seed): Use it, and write the random seed to the error port.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions