X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tools%2Focamlmoduledep.sh;h=857531226f2048ab18bd01de6217c9d378146c4f;hb=6844beef9142975d1bf4a2b3fb72b93dfa3402dc;hp=b38eed7d436cfcfb0e169b6a9dd318bae1db657e;hpb=c6a89f390d6171f99d98f794427c1cce42fbf40c;p=tatoo.git 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