X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=tools%2Focamlmoduledep.sh;fp=tools%2Focamlmoduledep.sh;h=857531226f2048ab18bd01de6217c9d378146c4f;hp=b38eed7d436cfcfb0e169b6a9dd318bae1db657e;hb=b6dc15847ef86e61c0d242bc7ae025c1763f8a77;hpb=a089738aa464521c0ae79944eb00fc147cc37ac9 diff --git a/tools/ocamlmoduledep.sh b/tools/ocamlmoduledep.sh index b38eed7..8575312 100755 --- a/tools/ocamlmoduledep.sh +++ b/tools/ocamlmoduledep.sh @@ -50,15 +50,15 @@ for MODULE in $MODULES; do 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