diff --git a/src/make_punk86.tcl b/src/make_punk86.tcl index 7c8b1b52..c98994ec 100644 --- a/src/make_punk86.tcl +++ b/src/make_punk86.tcl @@ -79,7 +79,7 @@ if {![catch { } if {$count_killed > 0} { puts stderr "\nKilled $count_killed processes. Waiting a short time before attempting to delete executable" - after 2000 + after 1000 } } else { puts stderr "Ok.. no running punk processes found" @@ -104,7 +104,7 @@ if {[file exists $dirname/punk86.exe]} { } file rename $dirname/punk86 $dirname/punk86.exe -after 500 +after 200 set deployment_folder [file dirname $dirname] if {[file exists $deployment_folder/punk86.exe]} {