Return to locate CVS log | Up to [local] / OpenXM_contrib / pari / config |
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