diff options
Diffstat (limited to 'ocaml-binary-annot/config/auto-aux/searchpath')
| -rwxr-xr-x | ocaml-binary-annot/config/auto-aux/searchpath | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/ocaml-binary-annot/config/auto-aux/searchpath b/ocaml-binary-annot/config/auto-aux/searchpath new file mode 100755 index 0000000000..9b31267f67 --- /dev/null +++ b/ocaml-binary-annot/config/auto-aux/searchpath @@ -0,0 +1,9 @@ +#!/bin/sh +# Find a program in the path + +IFS=':' +for dir in $PATH; do + if test -z "$dir"; then dir=.; fi + if test -f $dir/$1; then exit 0; fi +done +exit 1 |