summaryrefslogtreecommitdiff
path: root/libre/grub
diff options
context:
space:
mode:
authorcoadde [Márcio Alexandre Silva Delgado] <coadde@parabola.nu>2015-09-26 15:09:47 -0300
committercoadde [Márcio Alexandre Silva Delgado] <coadde@parabola.nu>2015-09-26 15:09:47 -0300
commitfdae308b82f61b070535bee03b72407edecbb5da (patch)
treef227294c091175d70ab6ee262134e98353d2855a /libre/grub
parentbac5f331851616131367dc5e07836e29f6e947e1 (diff)
grub: fix type (; then)
Diffstat (limited to 'libre/grub')
-rw-r--r--libre/grub/PKGBUILD2
1 files changed, 1 insertions, 1 deletions
diff --git a/libre/grub/PKGBUILD b/libre/grub/PKGBUILD
index 06938c8ad..3d0767c7a 100644
--- a/libre/grub/PKGBUILD
+++ b/libre/grub/PKGBUILD
@@ -466,7 +466,7 @@ package() {
if [[ "${CARCH}" == "x86_64" ]] || [[ "${CARCH}" == "i686" ]]; then
msg "Package grub bios stuff"
_package_grub-common_and_bios
- elif [[ "${CARCH}" == "armv7h" ]]
+ elif [[ "${CARCH}" == "armv7h" ]]; then
msg "Package grub U-Boot stuff"
_package_grub-common_and_uboot
fi