summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-09-01 23:34:36 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-09-01 23:34:36 +0200
commit197336db213195e015a3f301473eeb29f23a2d49 (patch)
treedd48c4143e0913d803648b917ae28088aa257249 /src/Makefile
parent67b0da3889059d19a2b7b67840e2d89dc6ffda62 (diff)
Forces checking subfolder are up to date, -ZoO +JH
Diffstat (limited to 'src/Makefile')
-rw-r--r--src/Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile
index 8ffa1ab..719b8ea 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -10,7 +10,7 @@ build: export.a
export.a: $(OBJ_FILES) $(SUBCOMPONENTS_EXPORT)
ar -crT $@ $^
-$(SUBCOMPONENTS_EXPORT):
+$(SUBCOMPONENTS_EXPORT): .JUST_CHECK
$(MAKE) -C $(dir $@) export.a
clean:
@@ -27,4 +27,6 @@ clean:
sed 's,\($*\)\.o[ :]*,\1.o $@ : ,g' < $@.$$$$ > $@; \
rm -f $@.$$$$
+.JUST_CHECK:
+
include $(DEP_FILES)