blob: 7334b29a04d93e0995db34d23ed89fc44a19cf92 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
$NetBSD: patch-db,v 1.1.1.1 2000/05/22 20:26:59 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"
|