X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Futils%2Fpintos;h=fca610a15c83d6c4cdd1e80062d04b1812f5d1f8;hb=f85974dc8aa26e01529166d63745293db7c02fc8;hp=d7870351c0e966a9cf1263539aba2a9390bf55c2;hpb=ad1ad2b405c5e2d6fd8882ef73ea5404c3d3fc56;p=pintos-anon

diff --git a/src/utils/pintos b/src/utils/pintos
index d787035..fca610a 100755
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -259,7 +259,8 @@ sub prepare_scratch_disk {
 	  foreach @puts;
 
 	# Write end-of-archive marker.
-	print { $disks{SCRATCH}{HANDLE} } "\0" x 1024;
+	write_fully ($disks{SCRATCH}{HANDLE}, $disks{SCRATCH}{FILE_NAME},
+		     "\0" x 1024);
     }
 
     # Make sure the scratch disk is big enough to get big files.