diff options
-rw-r--r-- | Makefile.am | 4 | ||||
-rw-r--r-- | cfg.mk | 6 |
2 files changed, 6 insertions, 4 deletions
diff --git a/Makefile.am b/Makefile.am index d14bf880e..673c964b3 100644 --- a/Makefile.am +++ b/Makefile.am @@ -170,9 +170,5 @@ check-git-hook-script-sync: rm -rf $$t; \ test $$fail = 0 -.PHONY: all_programs -all_programs: - @cd ./src && $(MAKE) -s $@ - include $(top_srcdir)/doc/local.mk include $(top_srcdir)/man/local.mk @@ -166,6 +166,12 @@ sc_long_lines: sed -e "s|^|$$file:|" -e '$(FILTER_LONG_LINES)'; \ done | grep . && { msg="$$halt" $(_sc_say_and_exit) } || : +# TODO: remove once the build system in 'src/' is merged with the +# top-level one. +.PHONY: all_programs +all_programs: + @cd ./src && $(MAKE) -s $@ + # Option descriptions should not start with a capital letter. # One could grep source directly as follows: # grep -E " {2,6}-.*[^.] [A-Z][a-z]" $$($(VC_LIST_EXCEPT) | grep '\.c$$') |