diff options
| author | Francis Rowe <info@gluglug.org.uk> | 2015-02-13 23:38:47 +0000 |
|---|---|---|
| committer | Francis Rowe <info@gluglug.org.uk> | 2015-02-13 23:38:47 +0000 |
| commit | 4ebfb52f2418adf73405c90771c1b080644afed0 (patch) | |
| tree | 64e66c7bc2a6692330a22588f361ff29e51be013 /build-release | |
| parent | 50701e0614ccb2c5d87cfe17e0abc85341773260 (diff) | |
| download | librebootfr-4ebfb52f2418adf73405c90771c1b080644afed0.tar.gz librebootfr-4ebfb52f2418adf73405c90771c1b080644afed0.zip | |
Delete SeaBIOS from libreboot.
It was virtually useless. Noone used it. SeaBIOS is easy enough
to build from source if someone wants to use it from now on.
Diffstat (limited to 'build-release')
| -rwxr-xr-x | build-release | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/build-release b/build-release index 8eb733e2..d95ee512 100755 --- a/build-release +++ b/build-release @@ -115,12 +115,6 @@ rm -rf .git rm -f .gitignore cd ../ -# SeaBIOS: -cd seabios/ -rm -rf .git -rm -f .gitignore -cd ../ - cd ../ # ### Prepare ROM archives ready for release @@ -141,17 +135,6 @@ echo "Preparing libreboot_util release archive" mkdir libreboot_util -# --------------- -# SeaBIOS related -# --------------- -# Include SeaBIOS and SeaVGABIOS option ROM in the binary archive -cp seabios/out/vgabios.bin libreboot_util/ -cp seabios/out/bios.bin.elf libreboot_util/ -# Add the script for it -cp addseabios libreboot_util/ -# Menu entry to be added to grub configs -cp resources/grub/config/seabios.cfg libreboot_util/ - # -------------- # BUC.TS related # -------------- @@ -373,7 +356,6 @@ rm -f libreboot_src/getflashrom rm -f libreboot_src/getgrub rm -f libreboot_src/getgrubinvaders rm -f libreboot_src/getmt86 -rm -f libreboot_src/getseabios # ich9deblob: there are certain files in there # that the user most likely does not want to share |