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/vm.scm | |
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/vm.scm')
-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 746808515f..83ad489cc7 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." "mnt=/tmp/root/mnt" "-path-list" "-" "--" + + ;; XXX: Add padding to avoid I/O errors on i686: + ;; <https://bugs.gnu.org/33639>. + "-padding" "10m" + "-volid" (string-upcase volume-id) (if volume-uuid `("-volume_date" "uuid" |