diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-05-07 21:37:03 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-05-07 23:52:25 +0200 |
| commit | bdb9b4e8d3ebbc50f4725af12d91df300de05d15 (patch) | |
| tree | 8b93ca049a108ea2a4bc82e578b72d8e9fa20c38 /gnu/packages/lean.scm | |
| parent | 14928af2af501516aba13d569eae0853e769fb91 (diff) | |
| download | guix-bdb9b4e8d3ebbc50f4725af12d91df300de05d15.tar.gz | |
pack: Factorize 'exec_in_user_namespace' wrapper.
* gnu/packages/aux-files/run-in-namespace.c (exec_in_user_namespace): New function, with code taken from... (main): ... here. Call it.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions