From 029fb49e3b753543bc69bc0a2df7833e8adc5699 Mon Sep 17 00:00:00 2001 From: Michal Sojka Date: Mon, 28 Oct 2013 21:41:46 +0100 Subject: [PATCH] Fix check target --- Makefile.git | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.git b/Makefile.git index 738af0c..547e302 100644 --- a/Makefile.git +++ b/Makefile.git @@ -19,7 +19,7 @@ CONFIGURE_FLAGS = --enable-orte-idl configure: git check: configure - $(MAKE) check-windows check-autotools check-java check-android + $(MAKE) -f Makefile.git check-windows check-autotools check-java check-android check-%: rm -rf _$@ -- 2.39.2