diff options
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/system.scm | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/gnu/system.scm b/gnu/system.scm index b7f19d741a..f92c7de8e3 100644 --- a/gnu/system.scm +++ b/gnu/system.scm @@ -1492,8 +1492,14 @@ a list of <menu-entry>, to populate the \"old entries\" menu." (cross-libc target)) glibc)) (exec-server-command - (list (file-append libc "/lib/ld.so.1") "exec" - (file-append hurd "/hurd/exec") "'$(exec-task=task-create)'"))) + ;; XXX: Run the statically-linked 'exec' to work around + ;; <https://issues.guix.gnu.org/58631>, which manifests on some + ;; machines. + + ;; (list (file-append libc "/lib/ld.so.1") "exec" + ;; (file-append hurd "/hurd/exec") "'$(exec-task=task-create)'") + (list (file-append hurd "/hurd/exec.static") "exec" + "'$(exec-task=task-create)'"))) (list root-file-system-command exec-server-command))) (define* (operating-system-boot-parameters os root-device |