some fixes to makefiles

Makefile

@@ -42,9 +42,9 @@ boot:
 
 # Regenerate all hints for the standard library and regression test suite
 hints:
-	$(Q)OTHERFLAGS=--record_hints +$(MAKE) -C ulib/
-	$(Q)OTHERFLAGS=--record_hints +$(MAKE) -C ulib/ml
-	$(Q)OTHERFLAGS=--record_hints +$(MAKE) -C src/ uregressions
+	+$(Q)OTHERFLAGS=--record_hints $(MAKE) -C ulib/
+	+$(Q)OTHERFLAGS=--record_hints $(MAKE) -C ulib/ml
+	+$(Q)OTHERFLAGS=--record_hints $(MAKE) -C src/ uregressions
 
 bench:
 	./bin/run_benchmark.sh

examples/dependencies/Makefile

@@ -14,7 +14,7 @@ FSTAR = $(FSTAR_HOME)/bin/fstar.exe $(FSTAR_FLAGS)
 .PHONY: all test clean
 
 all:
-	rm -f .depend && +$(MAKE) .depend
+	rm -f .depend && $(MAKE) .depend
 	+$(MAKE) test
 
 # 1. Extract .ml files

ucontrib/CoreCrypto/ml/Makefile

@@ -64,17 +64,17 @@ openssl_stub.o: libcrypto.a openssl_stub.c
 	$(OCAMLOPT) -c $<
 
 $(PLATFORM)/platform.cmx: $(PLATFORM)/platform.ml
-	+$(MAKE) -C $(PLATFORM)
+	$(MAKE) -C $(PLATFORM)
 
 $(DB)/DB.cmx: $(DB)/DB.ml
-	+$(MAKE) -C $(DB)
+	$(MAKE) -C $(DB)
 
 openssl/Configure:
 	echo "openssl folder is empty, running git submodule update... no recursion"
 	git submodule update --init
 
 openssl/libcrypto.a: openssl/Configure
-	cd openssl && $(OPENSSL_CONF) && +$(MAKE) build_libs
+	cd openssl && $(OPENSSL_CONF) && $(MAKE) build_libs
 
 libcrypto.a: openssl/libcrypto.a
 	cp openssl/libcrypto.a .
@@ -96,8 +96,8 @@ test: Tests.exe
 	@$(EXTRA_PATH) ./Tests.exe
 
 clean:
-	+$(MAKE) -C $(DB) clean
-	+$(MAKE) -C $(PLATFORM) clean
+	$(MAKE) -C $(DB) clean
+	$(MAKE) -C $(PLATFORM) clean
 	rm -f Tests.exe *.[oa] *.so *.cm[ixoa] *.cmxa *.exe *.dll *.annot *~
 
 depend:

ucontrib/CoreCrypto/ml/pki/Makefile

@@ -137,10 +137,10 @@ clean:
 
 # --------------------------------------------------------------------
 define pki
-  +$(MAKE) MODE=$(1) clean
-  +$(MAKE) MODE=$(1) dh dsap ca
-  +$(MAKE) MODE=$(1) '$(1)/certificates/$(1).cert.mitls.org.p12'
-  +$(MAKE) MODE=$(1) hash
+  $(MAKE) MODE=$(1) clean
+  $(MAKE) MODE=$(1) dh dsap ca
+  $(MAKE) MODE=$(1) '$(1)/certificates/$(1).cert.mitls.org.p12'
+  $(MAKE) MODE=$(1) hash
 endef
 
 pki.built:
@@ -150,7 +150,7 @@ pki.built:
 	touch $@
 
 pki.clean:
-	+$(MAKE) MODE=rsa clean
-	+$(MAKE) MODE=dsa clean
-	+$(MAKE) MODE=ecdsa clean
+	$(MAKE) MODE=rsa clean
+	$(MAKE) MODE=dsa clean
+	$(MAKE) MODE=ecdsa clean
 	rm pki.built