suzanne.soy/whalesong
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #82 from metadave/master

Browse Source 
Whalesong launcher on Windows doesn't have the .exe suffix
This commit is contained in:
Danny Yoo 2012-02-15 13:12:48 -08:00
commit 098d0fec0e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
make-launcher.rkt
View File

@ -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")