append .exe to launcher name if Windows detected

2012-02-15 15:51:50 -05:00 · 2012-02-15 15:51:50 -05:00 · 62cf34b8a4
commit 62cf34b8a4
parent f15e01fb7f
1 changed files with 1 additions and 1 deletions
--- 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")