From a963e58cd0b0e3fe5026906cfb3649e8a3d5ef23 Mon Sep 17 00:00:00 2001 From: Andreas Stenius Date: Thu, 26 Mar 2015 14:33:47 +0100 Subject: Require makefile to build dep. Fixes #218. --- core/deps.mk | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'core/deps.mk') diff --git a/core/deps.mk b/core/deps.mk index 74bc30b..879cf43 100644 --- a/core/deps.mk +++ b/core/deps.mk @@ -37,7 +37,8 @@ deps:: $(ALL_DEPS_DIRS) if [ -f $$dep/GNUmakefile ] || [ -f $$dep/makefile ] || [ -f $$dep/Makefile ] ; then \ $(MAKE) -C $$dep ; \ else \ - echo "include $(CURDIR)/erlang.mk" | ERLC_OPTS=+debug_info $(MAKE) -f - -C $$dep ; \ + echo "ERROR: No makefile to build dependency $$dep. Consider adding it to AUTOPATCH." ; \ + exit 1 ; \ fi ; \ done -- cgit v1.2.3