X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=tools%2Focamlmoduledep.sh;h=b38eed7d436cfcfb0e169b6a9dd318bae1db657e;hp=a9f2ee93b4555e7f76c087ed67cc360ef2553cb1;hb=c6a89f390d6171f99d98f794427c1cce42fbf40c;hpb=fee64144491afab22d71f6e2de72a9f18f35cd55 diff --git a/tools/ocamlmoduledep.sh b/tools/ocamlmoduledep.sh index a9f2ee9..b38eed7 100755 --- a/tools/ocamlmoduledep.sh +++ b/tools/ocamlmoduledep.sh @@ -51,7 +51,7 @@ for MODULE in $MODULES; do 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 + 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 " break