diff options
| -rw-r--r-- | gnu/packages/firmware.scm | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm index 529200118d..b6ee4c0565 100644 --- a/gnu/packages/firmware.scm +++ b/gnu/packages/firmware.scm @@ -926,11 +926,11 @@ Virtual Machines. OVMF contains a sample UEFI firmware for QEMU and KVM.") (substitute-keyword-arguments (package-arguments ovmf) ((#:phases phases) #~(modify-phases #$phases - (add-before 'configure 'set-env - (lambda _ - #$@(if (not (string-prefix? "armhf" (%current-system))) - #~((setenv "GCC49_ARM_PREFIX" "arm-linux-gnueabihf-")) - #~()))) + #$@(if (string-prefix? "armhf" (%current-system)) + '() + '((add-before 'configure 'set-env + (lambda _ + (setenv "GCC49_ARM_PREFIX" "arm-linux-gnueabihf-"))))) (replace 'build (lambda _ (invoke "build" "-a" "ARM" "-t" "GCC49" |