blob: fd392682c5691c8e23eb87bb6715984a85143e31 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
$NetBSD: patch-ab,v 1.3 2002/08/31 20:27:49 jschauma Exp $
--- ../bin/drscheme.orig Wed Aug 28 18:31:31 2002
+++ ../bin/drscheme Wed Aug 28 18:32:00 2002
@@ -2,7 +2,7 @@
# This script was created by make-mred-launcher
if [ "$PLTHOME" = '' ] ; then
- PLTHOME=/usr/local/lib/plt
+ PLTHOME=@PREFIX@/lib/plt
export PLTHOME
fi
|