Merge pull request #37894 from dtzWill/fix/grub2-linux

grub2: extend platforms to include all linux
2018-03-26 16:27:40 -05:00
parent 49726921d5 e78900213b
commit 6579e204eb
1 changed files with 1 additions and 1 deletions
--- a/pkgs/tools/misc/grub/2.0x.nix
+++ b/pkgs/tools/misc/grub/2.0x.nix
@@ -123,6 +123,6 @@ stdenv.mkDerivation rec {

    license = licenses.gpl3Plus;

-    platforms = platforms.gnu;
+    platforms = platforms.gnu ++ platforms.linux;
  };
 })