e20c55 use -Os for regular grub2 as well as grub2-efi (#782144 again)

Authored and Committed by adamwill 7 years ago
1 file changed. 6 lines added. 1 lines removed.
    use -Os for regular grub2 as well as grub2-efi (#782144 again)
    
        
file modified
+6 -1