fix-pintos-script-geometry.patch (applied cleanly)

[pintos-anon] / src / utils / pintos-mkdisk

diff --git a/src/utils/pintos-mkdisk b/src/utils/pintos-mkdisk
index 87b1563e69c517070e81ad32c36adfabdf6df2a5..4bbd1a6881468d0e2db94fc0ce8b7dbacb51e1fa 100755 (executable)
--- a/src/utils/pintos-mkdisk
+++ b/src/utils/pintos-mkdisk
@@ -91,7 +91,7 @@ my (%disk) = %parts;
 $disk{DISK} = $disk_fn;
 $disk{HANDLE} = $disk_handle;
 $disk{ALIGN} = $align;
-$disk{GEOMETRY} = %geometry;
+$disk{GEOMETRY} = \%geometry;
 $disk{FORMAT} = $format;
 $disk{LOADER} = $loader;
 $disk{ARGS} = \@kernel_args;