From 62cf34b8a44a0a1d12b132b2f502805782503d89 Mon Sep 17 00:00:00 2001 From: Dave Parfitt Date: Wed, 15 Feb 2012 15:51:50 -0500 Subject: [PATCH] append .exe to launcher name if Windows detected --- make-launcher.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make-launcher.rkt b/make-launcher.rkt index 3b83a78..c77637b 100644 --- a/make-launcher.rkt +++ b/make-launcher.rkt @@ -378,7 +378,7 @@ (and m (cdr m))))) ;; Normal launcher: (make-embedding-executable - dest (eq? kind 'mred) #f null null null flags aux #t variant) + (string-append dest ".exe") (eq? kind 'mred) #f null null null flags aux #t variant) ;; Independent launcher (needed for Setup PLT): (begin (install-template dest kind "mzstart.exe" "mrstart.exe")