diff options
| author | davidovski <david@davidovski.xyz> | 2022-05-27 18:34:26 +0100 |
|---|---|---|
| committer | davidovski <david@davidovski.xyz> | 2022-05-27 18:34:26 +0100 |
| commit | 4615385d6c8203001962a7a31dd02cdb1a73544b (patch) | |
| tree | 0ff0ea93838f9c39ee5a09066ad05d9567e31437 /repo/system/grub | |
| parent | 7b0628f037dcbf85cfb381d5e05dea39a2059d33 (diff) | |
added tor
Diffstat (limited to 'repo/system/grub')
| -rw-r--r-- | repo/system/grub/grub.xibuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/repo/system/grub/grub.xibuild b/repo/system/grub/grub.xibuild index 343c07e..049328b 100644 --- a/repo/system/grub/grub.xibuild +++ b/repo/system/grub/grub.xibuild @@ -1,7 +1,7 @@ #!/bin/sh MAKEDEPS="make " -DEPS="sh xz gettext device-mapper efibootmgr freetype2" +DEPS="sh xz gettext efibootmgr freetype2" PKG_VER=2.06 SOURCE=https://ftp.gnu.org/gnu/grub/grub-$PKG_VER.tar.xz |