X-Git-Url: https://rtime.felk.cvut.cz/gitweb/orte.git/blobdiff_plain/bfa64813aabf19e9afaf43cd4d581e4a8b6e9bb8..e355eaefbbb25d413ae2433dcb7e2cf2de112c4c:/Makefile.git

diff --git a/Makefile.git b/Makefile.git
index a575b1f..a83ae6f 100644
--- 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