X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=tools%2Focamldriver.sh;h=5d65e046d9b2910c9c07c3ccc2cd327be37cc5fe;hp=0a51cb6b49f32ab36f0417fc9d8d5f549e4fe84e;hb=5bdd670738e0af306581819ef41659f961a0df12;hpb=35abea737ead2d4fd121d0cb8bdbda38cfcaa8d3

diff --git a/tools/ocamldriver.sh b/tools/ocamldriver.sh
index 0a51cb6..5d65e04 100644
--- a/tools/ocamldriver.sh
+++ b/tools/ocamldriver.sh
@@ -24,7 +24,7 @@ if test "$EXT" = i; then
         $REMAKE ${base}.mli;
     fi
 
-    modules=`$OCAMLDEP -modules ${base}.ml | cut -f 2- -d ':'`
+    modules=`$OCAMLDEP -modules ${base}.mli | cut -f 2- -d ':'`
     objects=`tools/ocamlmoduledep.sh -inter $NATIVE $PACKINCLUDE -I $SRC $modules`
     $REMAKE $objects
     $COMPILE  -o ${target} -c $PACKINCLUDE ${base}.mli
@@ -53,7 +53,7 @@ for f in $deps; do
     if grep -q $f ${base}.dep; then continue; fi
     echo $f >> ${base}.dep
 done
-if test -f ${base}.mli; then $REMAKE -v PACKINCLUDE="$PACKINCLUDE" ${base}.cmi; fi
+if test -f ${base}.mli; then $REMAKE PACKINCLUDE="$PACKINCLUDE" ${base}.cmi; fi
 if test "$DOPACK"; then
     sorted_objects=`cat ${base}.dep | grep "$PACKDIR" | sed "s/[.]dep/.cm${EXT}/" | xargs`
     cat ${base}.dep | grep -v "$PACKDIR" > ${base}.tmp