diff options
| author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2022-12-01 11:27:19 -0500 |
|---|---|---|
| committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2022-12-01 11:57:09 -0500 |
| commit | 76259d7305f2550b076a18d2a244acab574dff77 (patch) | |
| tree | d2c47cfab7a199b4853074bbd9e87d7a6789c9e0 /gnu | |
| parent | 1a1a5aad2c53e18aa536eb13f68f3cc234f9fc1d (diff) | |
| download | guix-76259d7305f2550b076a18d2a244acab574dff77.tar guix-76259d7305f2550b076a18d2a244acab574dff77.tar.gz | |
gnu: grub-efi32: Fix indentation.
* gnu/packages/bootloaders.scm (grub-efi32): Fix indentation.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/bootloaders.scm | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/gnu/packages/bootloaders.scm b/gnu/packages/bootloaders.scm index ea0724805f..fef886de25 100644 --- a/gnu/packages/bootloaders.scm +++ b/gnu/packages/bootloaders.scm @@ -340,21 +340,21 @@ menu to select one of the installed operating systems.") `(,@(substitute-keyword-arguments (package-arguments grub-efi) ((#:configure-flags flags ''()) `(cons* - ,@(cond ((target-x86?) '("--target=i386")) - ((target-aarch64?) - (list "--target=arm" - (string-append "TARGET_CC=" - (cc-for-target "arm-linux-gnueabihf")))) - ((target-arm?) '("--target=arm")) - (else '())) - ,flags))))) + ,@(cond ((target-x86?) '("--target=i386")) + ((target-aarch64?) + (list "--target=arm" + (string-append "TARGET_CC=" + (cc-for-target "arm-linux-gnueabihf")))) + ((target-arm?) '("--target=arm")) + (else '())) + ,flags))))) (native-inputs (if (target-aarch64?) - (modify-inputs (package-native-inputs grub-efi) - (prepend - (cross-gcc "arm-linux-gnueabihf") - (cross-binutils "arm-linux-gnueabihf"))) - (package-native-inputs grub-efi))))) + (modify-inputs (package-native-inputs grub-efi) + (prepend + (cross-gcc "arm-linux-gnueabihf") + (cross-binutils "arm-linux-gnueabihf"))) + (package-native-inputs grub-efi))))) ;; Because grub searches hardcoded paths it's easiest to just build grub ;; again to make it find both grub-pc and grub-efi. There is a command |