From 480b881db4910c3cca7dadec67f05b564ce19ff5 Mon Sep 17 00:00:00 2001
From: Julian Noble <julian@precisium.com.au>
Date: Mon, 15 May 2023 14:31:05 +1000
Subject: [PATCH] make_punk86.tcl shorter build delays

---
 src/make_punk86.tcl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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]} {