diff options
Diffstat (limited to 'disk/grub2/BUILD')
-rwxr-xr-x | disk/grub2/BUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/disk/grub2/BUILD b/disk/grub2/BUILD index b8b4dd9092..590633fb0a 100755 --- a/disk/grub2/BUILD +++ b/disk/grub2/BUILD @@ -1,3 +1,3 @@ -OPTS="${OPTS} ${GRUB2_OPTS}" && +OPTS="${OPTS} ${GRUB2_OPTS} -disable-werror" && make_single && default_build |