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