diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2019-07-23 13:17:40 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2019-07-23 13:17:40 +0200 |
commit | fd45c968a66b9808ed6b65455cafa596203a2237 (patch) | |
tree | 6a651f79661d15bf5cc370921a1a7fc5e73a77f2 /pre-inst-env.in | |
parent | e6f1ecfd88cb4e9a9e6a31b9161ffb48e36e9a44 (diff) |
guix: Use mumimu instead of mu.
* guix.scm (mumimu): New variable.
* configure.ac: Check for mumimu.
* mumi/config.scm.in (%config): Update placeholder for mu-executable.
Diffstat (limited to 'pre-inst-env.in')
0 files changed, 0 insertions, 0 deletions