X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=tools%2Focamlmoduledep.sh;h=857531226f2048ab18bd01de6217c9d378146c4f;hp=a9f2ee93b4555e7f76c087ed67cc360ef2553cb1;hb=31d45495fda9a110fd348f8b492761c28b434ec9;hpb=45ca692d34ec370b542564a1ca195b205b1a3c6f

diff --git a/tools/ocamlmoduledep.sh b/tools/ocamlmoduledep.sh
index a9f2ee9..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 "
-        elif test -f "$base".ml -o -f "$base".mly -o -f "$base".mll -o -f "$base".pack; then
+                /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