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 f08d59752a..529200118d 100644 --- a/gnu/packages/firmware.scm +++ b/gnu/packages/firmware.scm @@ -894,11 +894,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? "aarch64" (%current-system))) - #~((setenv "GCC49_AARCH64_PREFIX" "aarch64-linux-gnu-")) - #~()))) + #$@(if (string-prefix? "aarch64" (%current-system)) + '() + '((add-before 'configure 'set-env + (lambda _ + (setenv "GCC49_AARCH64_PREFIX" "aarch64-linux-gnu-"))))) (replace 'build (lambda _ (invoke "build" "-a" "AARCH64" "-t" "GCC49" |