diff --git a/Makefile b/Makefile index 60bce3d37ed30e745f73c0275553a4102f7500b0..b54f4c96069d15e8da8344bcc6b56c820febf345 100644 --- a/Makefile +++ b/Makefile @@ -71,7 +71,15 @@ $(VERSION_HDR): version_info.mk echo "#define VERSION_RELEASE \"$(VERSION_RELEASE)\"" >> $$hdr; \ echo "#endif" >> $$hdr; -$(SUBDIRS_BUILD): $(VERSION_HDR) $(CONFIGS) +src: $(VERSION_HDR) $(CONFIGS) + @echo "INFO: building in directory $@/ ..." + @$(MAKE) -s -C $@ + +tests: src + @echo "INFO: building in directory $@/ ..." + @$(MAKE) -s -C $@ + +tools: src @echo "INFO: building in directory $@/ ..." @$(MAKE) -s -C $@