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

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);