diff options
| author | Maxim Fomin | 2021-03-25 05:28:11 +0000 |
|---|---|---|
| committer | Maxim Fomin | 2021-03-25 05:28:11 +0000 |
| commit | 1f8d2eca4125d34d4c539289bb8f1de7940815d4 (patch) | |
| tree | fd6a66e75f8c06a840d548de4b8b18f11abc48e7 | |
| parent | 40970084525f3b5e0079232f06c4757ad0e86e90 (diff) | |
| download | aur-1f8d2eca4125d34d4c539289bb8f1de7940815d4.tar.gz | |
Temporary disable grub-extras: its compilation is broken
since 2.04 because of switch to bootstrap script and
upstream doesn't care.
| -rw-r--r-- | PKGBUILD | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -162,11 +162,11 @@ prepare() { # http://savannah.gnu.org/bugs/?40330 and https://bugs.archlinux.org/task/37847 gzip -cd "${srcdir}/unifont-${_UNIFONT_VER}.bdf.gz" > "unifont.bdf" - echo "Add the grub-extra sources for bios build..." - install -d "${srcdir}/grub-bios/grub-extras" - cp -r "${srcdir}/grub-extras/915resolution" \ - "${srcdir}/grub-bios/grub-extras/915resolution" - export GRUB_CONTRIB="${srcdir}/grub-bios/grub-extras/" + #echo "Add the grub-extra sources for bios build..." + #install -d "${srcdir}/grub-bios/grub-extras" + #cp -r "${srcdir}/grub-extras/915resolution" \ + # "${srcdir}/grub-bios/grub-extras/915resolution" + #export GRUB_CONTRIB="${srcdir}/grub-bios/grub-extras/" echo "Run bootstrap..." ./bootstrap \ |