diff src/which.sh @ 7:3fc0f57ecb91 v7.0001

updated for version 7.0001
author vimboss
date Sun, 13 Jun 2004 20:20:40 +0000
parents
children
line wrap: on
line diff
new file mode 100755
--- /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