X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=Remakefile.in;fp=Remakefile.in;h=50ae9d2c924a977a883a1acd00adc1c2de4744bf;hp=627f79ca540fe85b593140462357deccc60d33eb;hb=5bdd670738e0af306581819ef41659f961a0df12;hpb=35abea737ead2d4fd121d0cb8bdbda38cfcaa8d3

diff --git a/Remakefile.in b/Remakefile.in
index 627f79c..50ae9d2 100644
--- a/Remakefile.in
+++ b/Remakefile.in
@@ -1,3 +1,4 @@
+.OPTIONS = variable-propagation
 OCAMLFINDPACKAGES = "ulex,unix,expat,camlp4.macro"
 OCAMLFINDSYNTAX = camlp4o
 OCAMLFINDPPOPTS = $(addprefix "-ppopt ", @CAMLP4FLAGS@ -I include)
@@ -77,7 +78,7 @@ distclean: clean test_clean
 	base=$*
 	target=$@
 	NATIVE=-native
-	REMAKE="$(REMAKE) -v OCAMLNATIVE=$NATIVE"
+	REMAKE="$(REMAKE) OCAMLNATIVE=$NATIVE"
 	OCAMLDEP="$(OCAMLDEP) $(OCAMLFINDFLAGS)"
 	SRC=$(SRC)
 	COMPILE="$(OCAMLOPT) $(OCAMLFLAGS) $(OCAMLOPTFLAGS) $(OCAMLFINDFLAGS)"
@@ -87,7 +88,7 @@ distclean: clean test_clean
 	base=$*
 	target=$@
 	NATIVE=
-	REMAKE="$(REMAKE) -v OCAMLNATIVE=$NATIVE"
+	REMAKE="$(REMAKE) OCAMLNATIVE=$NATIVE"
 	OCAMLDEP="$(OCAMLDEP) $(OCAMLFINDFLAGS)"
 	SRC=$(SRC)
 	COMPILE="$(OCAMLC) $(OCAMLFLAGS) $(OCAMLCFLAGS) $(OCAMLFINDFLAGS)"
@@ -97,7 +98,7 @@ distclean: clean test_clean
 	base=$*
 	target=$@
 	NATIVE=$(OCAMLNATIVE)
-	REMAKE="$(REMAKE) -v OCAMLNATIVE=$NATIVE"
+	REMAKE="$(REMAKE) OCAMLNATIVE=$NATIVE"
 	OCAMLDEP="$(OCAMLDEP) $(OCAMLFINDFLAGS)"
 	SRC=$(SRC)
 	if test -z "$NATIVE"; then