annotate src/which.sh @ 68:a97c6902ecd9

updated for version 7.0030
author vimboss
date Tue, 04 Jan 2005 21:38:36 +0000
parents 3fc0f57ecb91
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
1 #! /bin/sh
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
2 #
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
3 # which.sh -- find where an executable is located. It's here because the
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
4 # "which" command is not supported everywhere. Used by Makefile.
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
5
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
6 IFS=":"
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
7 for ac_dir in $PATH; do
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
8 if test -f "$ac_dir/$1"; then
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
9 echo "$ac_dir/$1"
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
10 break
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
11 fi
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
12 done