Return to locate CVS log

Up to [local] / OpenXM_contrib / pari / config

Annotation of OpenXM_contrib/pari/config/locate, Revision 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