annotate src/which.sh @ 11618:81f5dcfbce26

Added tag v8.0.0691 for changeset 1d6bcb9ff291bb817c9af88599f939c52bcc737a
author Christian Brabandt <cb@256bit.org>
date Thu, 29 Jun 2017 22:45:03 +0200
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