Browse Source

* runtest: Search /usr/share/dejagnu and /usr/local/share/dejagnu

for runtest.exp as a last resort (for usrmove environments, where
	/bin is a link to /usr/bin). From Honza Horak <hhorak@redhat.com>.
dejagnu-1.5.2
Ben Elliston 15 years ago
parent
commit
eae0168398
  1. 6
      ChangeLog
  2. 2
      runtest

6
ChangeLog

@ -1,3 +1,9 @@
2012-02-25 Ben Elliston <bje@gnu.org>
* runtest: Search /usr/share/dejagnu and /usr/local/share/dejagnu
for runtest.exp as a last resort (for usrmove environments, where
/bin is a link to /usr/bin). From Honza Horak <hhorak@redhat.com>.
2011-12-30 Ben Elliston <bje@gnu.org>
* doc/user.xml: Various spelling and consistency fixes.

2
runtest

@ -109,7 +109,7 @@ fi
#
# .. which is a very weak assumption
for i in `echo ${execpath} | sed -e 's@/[^/]*$@/share/dejagnu@'` `echo ${execpath} | sed -e 's@/[^/]*/[^/]*$@/share/dejagnu@'` $execpath ; do
for i in `echo ${execpath} | sed -e 's@/[^/]*$@/share/dejagnu@'` `echo ${execpath} | sed -e 's@/[^/]*/[^/]*$@/share/dejagnu@'` $execpath /usr/share/dejagnu /usr/local/share/dejagnu ; do
if expr $verbose \> 1 > /dev/null ; then
echo Looking for $i/runtest.exp.
fi

Loading…
Cancel
Save