summaryrefslogtreecommitdiff
path: root/src/which.sh
diff options
context:
space:
mode:
Diffstat (limited to 'src/which.sh')
-rwxr-xr-xsrc/which.sh12
1 files changed, 12 insertions, 0 deletions
diff --git a/src/which.sh b/src/which.sh
new file mode 100755
index 000000000..8c2c6982c
--- /dev/null
+++ b/src/which.sh
@@ -0,0 +1,12 @@
+#! /bin/sh
+#
+# which.sh -- find where an executable is located. It's here because the
+# "which" command is not supported everywhere. Used by Makefile.
+
+IFS=":"
+for ac_dir in $PATH; do
+ if test -f "$ac_dir/$1"; then
+ echo "$ac_dir/$1"
+ break
+ fi
+done