From efa9d8b1db36b67f86795c85986061a65a7ca738 Mon Sep 17 00:00:00 2001 From: Andrew Robbins Date: Sat, 16 Sep 2017 20:03:12 -0400 Subject: Delete old, unused GRUB config and modules-* files The grub.cfg to be included in the GRUB image is located in each target's directory in 'projecs/grub/configs' now, which means 'projects/grub/configs/grub.cfg' no longer has any use. Ditto with 'projects/grub/configs/modules-install' and 'projects/grub/configs/modules-preload' --- projects/grub/configs/modules-install | 80 ----------------------------------- 1 file changed, 80 deletions(-) delete mode 100644 projects/grub/configs/modules-install (limited to 'projects/grub/configs/modules-install') diff --git a/projects/grub/configs/modules-install b/projects/grub/configs/modules-install deleted file mode 100644 index 1d0d78ba..00000000 --- a/projects/grub/configs/modules-install +++ /dev/null @@ -1,80 +0,0 @@ -adler32 -all_video -archelp -ata -backtrace -bitmap -bitmap_scale -cmp -cpio -cpio_be -cpuid -crc64 -cs5536 -div_test -efiemu -elf -eval -exfat -extcmd -file -fshelp -gettext -gfxmenu -gptsync -gzio -hashsum -hexdump -http -linux16 -loadenv -lzopio -mda_text -mmap -mpi -msdospart -multiboot -multiboot2 -nativedisk -net -newc -ntfs -ntfscomp -odc -offsetio -parttool -priority_queue -procfs -progress -read -relocator -scsi -search -search_fs_file -search_fs_uuid -search_label -setjmp -setpci -sleep -squash4 -tar -terminfo -testload -testspeed -tftp -time -tr -trig -true -udf -ufs1 -ufs1_be -ufs2 -usbserial_common -usbserial_ftdi -usbserial_pl2303 -usbserial_usbdebug -usbtest -video_colors -videotest_checksum -xzio -- cgit v1.2.3-70-g09d2