Annotation of OpenXM_contrib/pari/config/locate, Revision 1.1.1.1
1.1 maekawa 1: #!/bin/sh
2: t=$1; shift; dflt=$1; shift
3:
4: for dir in $*; do
5: file=$dir/$t
6: if test -f $file; then
7: echo $file; exit 0
8: fi
9: if test -f $file.exe; then
10: echo $file.exe; exit 0
11: fi
12: done
13: echo $dflt; exit 1