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