diff options
Diffstat (limited to 'config/grub/default')
| -rw-r--r-- | config/grub/default/target.cfg | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/config/grub/default/target.cfg b/config/grub/default/target.cfg index a5936693..e6ed598b 100644 --- a/config/grub/default/target.cfg +++ b/config/grub/default/target.cfg @@ -1,7 +1,2 @@ tree="default" rev="8719cc2040368d43ab2de0b6e1b850b2c9cfc5b7" -bootstrapargs="--gnulib-srcdir=gnulib/ --no-git" -autoconfargs="--with-platform=coreboot --disable-werror" -makeargs="FS_PAYLOAD_MODULES=\"\"" -btype="autohell" -mkhelper="mkpayload_grub" |