annotate src/which.sh @ 7680:4b72a6f11547

Added tag v7.4.1138 for changeset c80284cfe1b8dc3209439bb87cf027f2e6aa1544
author Christian Brabandt <cb@256bit.org>
date Tue, 19 Jan 2016 18:00:06 +0100
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