diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-12-06 17:22:24 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-06 17:22:24 +0100 |
| commit | 178be030c0e4fdeac5e1c968b5c99d84bb4691db (patch) | |
| tree | 5a00f378f8de8926e250d8c9cd532678e90e5e8e /gnu/build | |
| parent | 676c3adc14f63df0f7a549e518ac87481c0f3e37 (diff) | |
vm: Add padding in the ISO image.
Fixes <https://bugs.gnu.org/33639>.
Thanks to Ricardo Wurmus and Thomas Schmitt for their suggestions!
* gnu/build/vm.scm (make-iso9660-image): Pass "-padding 10m" to
xorriso.
Diffstat (limited to 'gnu/build')
| -rw-r--r-- | gnu/build/vm.scm | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gnu/build/vm.scm b/gnu/build/vm.scm index 746808515f0..83ad489cc78 100644 --- a/gnu/build/vm.scm +++ b/gnu/build/vm.scm | |||
| @@ -477,6 +477,11 @@ GRUB configuration and OS-DRV as the stuff in it." | |||
| 477 | "mnt=/tmp/root/mnt" | 477 | "mnt=/tmp/root/mnt" |
| 478 | "-path-list" "-" | 478 | "-path-list" "-" |
| 479 | "--" | 479 | "--" |
| 480 | |||
| 481 | ;; XXX: Add padding to avoid I/O errors on i686: | ||
| 482 | ;; <https://bugs.gnu.org/33639>. | ||
| 483 | "-padding" "10m" | ||
| 484 | |||
| 480 | "-volid" (string-upcase volume-id) | 485 | "-volid" (string-upcase volume-id) |
| 481 | (if volume-uuid | 486 | (if volume-uuid |
| 482 | `("-volume_date" "uuid" | 487 | `("-volume_date" "uuid" |
