diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-02-14 20:14:40 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-02-14 20:15:19 +0100 |
commit | bc723b0835442b7e3e2f97957f4aad0161b1d47f (patch) | |
tree | 96ed50d53c44caf75297d9265ba55125d94a6e20 /bin | |
parent | db27955ad3fae260ee2aa4bace8dd6a4115d338c (diff) | |
download | cuirass-bc723b0835442b7e3e2f97957f4aad0161b1d47f.tar cuirass-bc723b0835442b7e3e2f97957f4aad0161b1d47f.tar.gz |
examples: random: Make store file names more distinguishable.
* examples/random-jobs.scm (random-derivation): Add 'suffix' parameter
and honor it.
(make-random-jobs): Pass a non-empty suffix to 'random-derivation'.
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions