diff options
Diffstat (limited to 'lang/drscheme/files/patch-install')
| -rw-r--r-- | lang/drscheme/files/patch-install | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/lang/drscheme/files/patch-install b/lang/drscheme/files/patch-install deleted file mode 100644 index 73f40c3dc3bd..000000000000 --- a/lang/drscheme/files/patch-install +++ /dev/null @@ -1,11 +0,0 @@ ---- ../install.orig Sat Jan 3 04:29:44 2004 -+++ ../install Wed Mar 3 06:58:30 2004 -@@ -47,7 +47,7 @@ - - (define plthome #f) - (define this-script #f) --(define install-mode? #f) -+(define install-mode? #t) - - (when (or (getenv "OSX_PLT_INSTALL") (getenv "RPM_INSTALL_PREFIX")) - (set! install-mode? #t)) |