discover/grub2: Add nops for unnecessary builtins
[petitboot] / discover / grub2 /
drwxr-xr-x   ..
-rw-r--r-- 1436 Makefile.am
-rw-r--r-- 3297 builtins.c
-rw-r--r-- 2018 grub2.c
-rw-r--r-- 4750 grub2.h
-rw-r--r-- 3074 lexer.l
-rw-r--r-- 7357 parser.y
-rw-r--r-- 9807 script.c