2013-09-26 17:14:40 +02:00

23 lines
561 B
Plaintext

$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