diff options
Diffstat (limited to 'pkgs/tools/misc/grub')
-rw-r--r-- | pkgs/tools/misc/grub/default.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/tools/misc/grub/default.nix b/pkgs/tools/misc/grub/default.nix index b1e5e4dbd1c..00b0c31201a 100644 --- a/pkgs/tools/misc/grub/default.nix +++ b/pkgs/tools/misc/grub/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchurl, autoconf, automake, buggyBiosCDSupport ? true}: +{stdenv, fetchurl, autoconf, automake, texinfo, buggyBiosCDSupport ? true}: stdenv.mkDerivation { name = "grub-0.97-patch-1.12"; @@ -34,7 +34,7 @@ stdenv.mkDerivation { ] ++ (stdenv.lib.optional buggyBiosCDSupport ./buggybios.patch); # Autoconf/automake required for the splashimage patch. - buildInputs = [autoconf automake]; + buildInputs = [autoconf automake texinfo]; prePatch = '' unpackFile $gentooPatches @@ -47,6 +47,7 @@ stdenv.mkDerivation { preConfigure = '' autoreconf + automake --add-missing ''; passthru.grubTarget = ""; |