X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Futils%2Fpintos;h=b803c949068eef8108bfd3dfbd02e32f30070be5;hb=a473a62d430dde919dd93efa05bbd0f236409965;hp=0d7b8bca2476fa7946ccf288dcabdfeb089e4ac6;hpb=e4cd6496ee7d1026b70487d1672d6c6d2f696c51;p=pintos-anon

diff --git a/src/utils/pintos b/src/utils/pintos
index 0d7b8bc..b803c94 100755
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -318,7 +318,7 @@ sub get_scratch_file {
 
     # Copy file data.
     my ($get_handle);
-    sysopen ($get_handle, $get_file_name, O_WRONLY | O_CREAT | O_EXCL, 0666)
+    sysopen ($get_handle, $get_file_name, O_WRONLY | O_CREAT, 0666)
       or die "$get_file_name: create: $!\n";
     copy_file ($disk_handle, $disk_file_name, $get_handle, $get_file_name,
 	       $size);