blob: 36efa0906fa8da0c7bce0f56ebf8c0b22be9a3ef (
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-aa,v 1.1.1.1 2002/04/22 13:51:26 agc Exp $
--- bin/jasmin.orig Mon Mar 25 13:43:14 2002
+++ bin/jasmin Mon Mar 25 13:44:04 2002
@@ -10,14 +10,14 @@
# JASMIN needs to be set to the directory containing the
# Jasmin distribution. We try:
#
-# /usr/local/jasmin
+# @PREFIX@/jasmin
# ~/jasmin
# `pwd`
#
#
-if (-e /usr/local/jasmin) then
- set JASMIN=/usr/local/jasmin
+if (-e @PREFIX@/jasmin) then
+ set JASMIN=@PREFIX@/jasmin
else if (-e $HOME/jasmin) then
# try the home directory
set JASMIN=$HOME/jasmin
|