diff options
Diffstat (limited to 'core')
| -rw-r--r-- | core/deps.mk | 3 |
1 files changed, 2 insertions, 1 deletions
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 |