| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-06-04 22:11:16 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-06-04 22:11:16 +0200 |
| commit | 2798c72c3c966822ee1c556ef2b8e24a57f40475 (patch) | |
| tree | 2b35cedff77fb691750e7ce11840cbbc5f71d882 | |
| parent | b3d8dfadab20d8aabea1fdad8070a668c3c75c15 (diff) | |
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 729feaa..719b8ea 100644 --- a/src/Makefile +++ b/src/Makefile @@ -27,6 +27,6 @@ clean: sed 's,\($*\)\.o[ :]*,\1.o $@ : ,g' < $@.$$$$ > $@; \ rm -f $@.$$$$ -.JUST_CHECK +.JUST_CHECK: include $(DEP_FILES) |