base="$include/$module"
if test \( "$INTER" = "1" \) -a \( -f "$base".mli \) ; then
## if we want to depend only on cmi of a module
- echo -n "$base"."cmi "
+ /bin/echo -n "$base"."cmi "
elif test -f "$base".ml -o -f "$base".mly -o -f "$base".mll -o -f "$base".pack -o -f "$base".ml.str; then
## else we depend on the implementation
- echo -n "$base"."$ext "
+ /bin/echo -n "$base"."$ext "
break
elif test -f "$base".mli; then
## and fall back on depending on the cmi if the cmx is not available
## (which prevents cross-module inlining in the case of cmx)
- echo -n "$base"."cmi "
+ /bin/echo -n "$base"."cmi "
break
fi
done