Oops. unpack("%V") -> unpack("V")

diff --git a/src/utils/pintos b/src/utils/pintos
index a27384ddf3f01cf1a7d74fdb6187756e92ec1a07..f30e03adfe67ed56f582041d457f81f2d6f6a5e6 100755 (executable)
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -126,7 +126,7 @@ if ($cmd eq 'run') {
     open (DST, ">$hostfn") or die "$hostfn: create: $!\n";
     my ($input);
     read (SRC, $input, 512) == 512 or die "$disks[2]: read error\n";
-    my ($size) = unpack ("%V", $input);
+    my ($size) = unpack ("V", $input);
     $size != 0xffffffff or die "$guestfn: too big for $disks[2]?";
     my ($src);
     read (SRC, $src, $size) == $size or die "$disks[2]: read error\n";