diff options
Diffstat (limited to 'lang/drscheme/patches/patch-db')
| -rw-r--r-- | lang/drscheme/patches/patch-db | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/lang/drscheme/patches/patch-db b/lang/drscheme/patches/patch-db deleted file mode 100644 index b0a18159dd1..00000000000 --- a/lang/drscheme/patches/patch-db +++ /dev/null @@ -1,22 +0,0 @@ -$NetBSD: patch-db,v 1.2 2001/09/05 03:52:48 groo Exp $ - ---- ../collects/launcher/launcherr.ss.orig Sat May 20 16:10:38 2000 -+++ ../collects/launcher/launcherr.ss Sat May 20 16:22:05 2000 -@@ -170,15 +170,14 @@ - "# This script was created by make-~a-launcher" newline - newline - "if [ \"$PLTHOME\" = '' ] ; then" newline -- " PLTHOME=~a" newline -+ " PLTHOME=XXXPREFIXXXX/lib/plt" newline - " export PLTHOME" newline - "fi" newline - newline -- "SYS=`${PLTHOME}/bin/archsys`" newline - newline) - kind plthome)] - [exec (format -- "exec ${PLTHOME}/.bin/${SYS}/~a ~a" -+ "exec ${PLTHOME}/bin/~a ~a" - kind pre-str)] - [args (format - " ~a ${1+\"$@\"}~n" |