diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2025-08-22 18:28:32 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2025-08-22 18:30:08 +0300 |
| commit | 33b94be0101343c8edff7303794cb5303a0e3d69 (patch) | |
| tree | f465f2fac5c80e615110d9095bd60b8bbde3f90e /gnu | |
| parent | c15e161d1b2c21c84c2cdfd930ad5a3c11d4ccd4 (diff) | |
gnu: bochs: Remove some more firmware files.
* gnu/packages/virtualization.scm (bochs)[source]: Adjust snippet to
remove more firmware files.
Change-Id: I8b0b2652df3695664743c946bcc60a75f2f0c134
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/virtualization.scm | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gnu/packages/virtualization.scm b/gnu/packages/virtualization.scm index 92af4989151..3d01d7e0d0b 100644 --- a/gnu/packages/virtualization.scm +++ b/gnu/packages/virtualization.scm @@ -2708,8 +2708,12 @@ by default and can be made read-only.") "1al1fx8dbb0ny7a4wbngnz8pqav0nl6rhakb434jqnpka4mm8vyb")) (snippet #~(begin + (use-modules (guix build utils)) ;; This file is non-free. - (delete-file "bios/i440fx.bin"))))) + (delete-file "bios/i440fx.bin") + ;; make -C bios bios-clean + (for-each delete-file + (find-files "bios" "^BIOS-bochs-")))))) (build-system gnu-build-system) (arguments (list #:tests? #f ;no test suite |