Implement refreshing the whole dialogue box with dlg_refresh, so that

[sgt/putty] / mac / mkputty.mpw

diff --git a/mac/mkputty.mpw b/mac/mkputty.mpw
index 74f0fb0..49c46b2 100644 (file)
--- a/mac/mkputty.mpw
+++ b/mac/mkputty.mpw
@@ -1,15 +1 @@
-# $Id: mkputty.mpw,v 1.3 2002/12/30 15:41:52 ben Exp $
-
-Set makefile Makefile.mpw
-
-#      Run Make, then execute its output.
-
-Echo "# `Date -t` ----- Analyzing dependencies."
-Begin
-       Echo "Set Echo 1"
-       Make {"Parameters"} -f "{makefile}"
-End > make.out
-Echo "# `Date -t` ----- Executing build commands."
-make.out
-Delete make.out
-Echo "# `Date -t` ----- Done."
+# $Id$\r\rSet makefile Makefile.mpw\r\r#   Run Make, then execute its output.\r\rEcho "# `Date -t` ----- Analyzing dependencies."\rBegin\r     Echo "Set Echo 1"\r      Make {"Parameters"} -f "{makefile}"\rEnd > make.out\rEcho "# `Date -t` ----- Executing build commands."\rmake.out\rDelete make.out\rEcho "# `Date -t` ----- Done."\r
\ No newline at end of file