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

[pintos-anon] / src / utils / pintos

diff --git a/src/utils/pintos b/src/utils/pintos
index 130e6fe3df4fba84d9b821da56372b0579fed60b..a8f76b33d1cff6fac30620d5810c4cc618e7624f 100755 (executable)
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -327,7 +327,7 @@ sub find_disks {
     $disk{DISK} = $make_disk;
     $disk{HANDLE} = $handle;
     $disk{ALIGN} = $align;
-    $disk{GEOMETRY} = %geometry;
+    $disk{GEOMETRY} = \%geometry;
     $disk{FORMAT} = 'partitioned';
     $disk{LOADER} = read_loader ($loader_fn);
     $disk{ARGS} = \@args;