diff options
| -rw-r--r-- | distro/packages/linux.scm | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/distro/packages/linux.scm b/distro/packages/linux.scm index 0ec18300fc..bbb583455c 100644 --- a/distro/packages/linux.scm +++ b/distro/packages/linux.scm @@ -32,8 +32,13 @@ (define-public linux-libre-headers (let* ((version* "3.3.8") (build-phase - '(lambda* (#:key outputs #:allow-other-keys) - (setenv "ARCH" "x86_64") ; XXX + '(lambda* (#:key system #:allow-other-keys) + (let ((arch (car (string-split system #\-)))) + (setenv "ARCH" + (cond ((string=? arch "i686") "i386") + (else arch))) + (format #t "`ARCH' set to `~a'~%" (getenv "ARCH"))) + (and (zero? (system* "make" "defconfig")) (zero? (system* "make" "mrproper" "headers_check"))))) (install-phase |