From 6a82852338d4760a9bbef98c643314bc7a9a7fb5 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 30 Mar 2005 17:15:45 +0000 Subject: [PATCH] . original commit: 5ebf6026625d2a02f8d5c28d1dd62c3bbc467d37 --- collects/compiler/embed-sig.ss | 3 ++- collects/launcher/launcher-sig.ss | 3 +++ 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/collects/compiler/embed-sig.ss b/collects/compiler/embed-sig.ss index 16c593fe79..d6fd69d078 100644 --- 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))) diff --git a/collects/launcher/launcher-sig.ss b/collects/launcher/launcher-sig.ss index b126afe7c2..bd643a46bf 100644 --- 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