ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-31 00:24:51 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

image/disk: increase estimated disk size

Browse Source 
Fixes #3410
This commit is contained in:
Alexander Boettcher 2019-06-07 10:38:28 +02:00 committed by Christian Helmuth
parent ed0d76552b
commit a25c656b1a
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tool/run/image/disk
View File

@ -27,10 +27,13 @@ proc run_image { {unused ""} } {
set size_header [expr [regsub {\s.*} [exec du -b [run_dir].header] {}]] set size_header [expr [regsub {\s.*} [exec du -b [run_dir].header] {}]]
set size_run [expr [regsub {\s.*} [exec du -skL [run_dir]] {}]] set size_run [expr [regsub {\s.*} [exec du -skL [run_dir]] {}]]
# try to compensate ext2 overhead in disk size
set ext2_overhead 768
if {[image_disk_size] > 0} { if {[image_disk_size] > 0} {
set disk_size_kb [expr [image_disk_size] * 1024] set disk_size_kb [expr [image_disk_size] * 1024]
} else { } else {
set disk_size_kb [expr ($size_run + 512) / 32 * 32] set disk_size_kb [expr ($size_run + $ext2_overhead) / 32 * 32]
} }
# setup partition with content # setup partition with content