Simplify check target in Makefile.git

diff --git a/Makefile.git b/Makefile.git
index a575b1ffbe4ac1a2e93d7f971d6443deb08d05a5..a83ae6f461b51ba8d06ee75d6766a57f4203763e 100644 (file)
--- a/Makefile.git
+++ b/Makefile.git
@@ -18,10 +18,9 @@ CONFIGURE_FLAGS = --enable-orte-idl
 
 configure: git
 
-check: configure
-       $(MAKE) -f Makefile.git check-omk check-autotools check-windows check-windows-omk check-java check-android
+check: check-omk check-autotools check-windows check-windows-omk check-java check-android
 
-check-%:
+check-%: configure
        rm -rf _$@
        mkdir -p _$@
        $(MAKE) -C _$@ -f ../Makefile.git $@.real