diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-10-24 05:54:35 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-10-24 21:34:20 +0200 |
| commit | f437e39aa2cd9214b03d5cf4f5bda22441834e04 (patch) | |
| tree | d979c82b100ccc077b9ab21ed5922024ec6f36b3 /gnu/services | |
| parent | c1144c78ad853dc1bfbd6f32a69fa0d53a79ff11 (diff) | |
| download | patches-f437e39aa2cd9214b03d5cf4f5bda22441834e04.tar patches-f437e39aa2cd9214b03d5cf4f5bda22441834e04.tar.gz | |
gnu: loksh: Use PREFIX.
* gnu/packages/shells.scm (loksh)[argumentss]: Substitute PREFIX for
DESTDIR #:make-flags.
Diffstat (limited to 'gnu/services')
0 files changed, 0 insertions, 0 deletions