3
if test -n "$(check_misc_sources)"; then \
4
tools_dir=$(top_srcdir)/tools \
5
sh $(top_srcdir)/tools/check-misc.sh \
6
$(check_misc_sources) || fail=1; \
8
if test -n "$(check_c_sources)"; then \
9
tools_dir=$(top_srcdir)/tools \
10
sh $(top_srcdir)/tools/check-c-style.sh \
11
$(check_c_sources) || fail=1; \
13
if test yes = "$(ENABLE_CODING_STYLE_CHECKS)"; then \