diff options
author | Luke T. Shumaker <lukeshu@parabola.nu> | 2024-01-13 17:10:00 -0700 |
---|---|---|
committer | Luke T. Shumaker <lukeshu@parabola.nu> | 2024-01-13 17:10:11 -0700 |
commit | 181661ec837b2bd074c8801959a82c94a4a912e9 (patch) | |
tree | 1b10dba464669a6f25103db08c1e01c1bb76dd69 /libre/grub/PKGBUILD | |
parent | 4f84a283b96fa887c6d6ee7077139675dd2baec7 (diff) |
libre/grub: Hopefully speed up the device-specific ARM builds
It was re-compiling everything in the package_grub-*() functions, so
hopefully preserving timestamps avoids that.
Diffstat (limited to 'libre/grub/PKGBUILD')
-rw-r--r-- | libre/grub/PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libre/grub/PKGBUILD b/libre/grub/PKGBUILD index 8bf814dd8..56dcde487 100644 --- a/libre/grub/PKGBUILD +++ b/libre/grub/PKGBUILD @@ -519,7 +519,7 @@ _package_grub-uboot-dev() { optdepends+=('dosfstools: For grub-mkrescue FAT FS') echo "Copy the source for packaging the U-Boot ($devname) part..." - cp -r "${srcdir}/grub-uboot/" "${srcdir}/grub-uboot_$devname/" + cp -a "${srcdir}/grub-uboot/" "${srcdir}/grub-uboot_$devname/" cd "${srcdir}/grub-uboot_$devname/" echo "Patch to detect $devname device tree blob file (dtb)..." |