.

original commit: 5ebf6026625d2a02f8d5c28d1dd62c3bbc467d37
2005-03-30 17:15:45 +00:00 · 2005-03-30 17:15:45 +00:00 · 6a82852338
commit 6a82852338
parent fc4358a088
2 changed files with 5 additions and 1 deletions
--- a/collects/compiler/embed-sig.ss
+++ b/collects/compiler/embed-sig.ss
@ -7,4 +7,5 @@
    (make-embedding-executable
     write-module-bundle
     embedding-executable-is-directory?
-     embedding-executable-put-file-extension+style+filters)))
+     embedding-executable-put-file-extension+style+filters
+     embedding-executable-add-suffix)))
--- a/collects/launcher/launcher-sig.ss
+++ b/collects/launcher/launcher-sig.ss
@ -23,6 +23,9 @@
     mred-launcher-is-directory?
     mzscheme-launcher-is-directory?

+     mred-launcher-add-suffix
+     mzscheme-launcher-add-suffix
+
     mred-launcher-put-file-extension+style+filters
     mzscheme-launcher-put-file-extension+style+filters