diff options
author | Danny Milosavljevic <dannym@scratchpost.org> | 2018-05-29 00:37:10 +0200 |
---|---|---|
committer | Danny Milosavljevic <dannym@scratchpost.org> | 2018-05-29 00:37:10 +0200 |
commit | ee3c8fbee21299ce105bafca7dc63bfb096cd7c5 (patch) | |
tree | 3cfc8b2730cdcebe91ac4f6028b8cc67a63bb6bd | |
parent | 65212c42cd5ad06d15ea6122f0dd0bdf56e6f4b4 (diff) | |
download | guix-ee3c8fbee21299ce105bafca7dc63bfb096cd7c5.tar.gz |
gnu: make-u-boot-package: Sort printed configurations case-insensitively.
* gnu/packages/bootloaders.scm (make-u-boot-package): Sort printed configurations case-insensitively.
-rw-r--r-- | gnu/packages/bootloaders.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/bootloaders.scm b/gnu/packages/bootloaders.scm index 76b8ef933d..2dd530125f 100644 --- a/gnu/packages/bootloaders.scm +++ b/gnu/packages/bootloaders.scm @@ -482,7 +482,7 @@ board-independent tools."))) "- ~A\n" (string-drop-right file-name suffix-len)))) - (sort entries string<))) + (sort entries string-ci<))) #f))))) (replace 'install (lambda* (#:key outputs #:allow-other-keys) |