blob: b3c16e6e72fb0d5e80614f76dc153339f74a072b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
$NetBSD: patch-ah,v 1.4 2002/10/15 11:27:11 kei Exp $
--- /dev/null Sat Aug 31 13:43:48 2002
+++ ../bin/mred Sat Aug 31 13:49:51 2002
@@ -0,0 +1,9 @@
+#!/bin/sh
+# This script was created by make-mzscheme-launcher
+
+if [ "$PLTHOME" = '' ] ; then
+ PLTHOME="@PREFIX@/lib/plt"
+ export PLTHOME
+fi
+
+exec "${PLTHOME}/bin/mred" ${1+"$@"}
|
