diff options
| -rw-r--r-- | stubdom/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stubdom/Makefile b/stubdom/Makefile index b63041e729..2da70e3127 100644 --- a/stubdom/Makefile +++ b/stubdom/Makefile @@ -331,7 +331,7 @@ grub-upstream: grub-$(GRUB_VERSION).tar.gz tar xzf $< mv grub-$(GRUB_VERSION) $@ for i in grub.patches/* ; do \ - patch -d $@ -p1 < $$i ; \ + patch -d $@ -p1 < $$i || exit 1; \ done .PHONY: grub |