annotate src/which.sh @ 14805:c784720ab1c3

Added tag v8.1.0414 for changeset cca823b02a04ce8376fc8ebd3d4e63401f682512
author Christian Brabandt <cb@256bit.org>
date Fri, 21 Sep 2018 12:00:19 +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