Merge branch 'jc/makefile-redirection-stderr' into maint
A minor fix in the Makefile. * jc/makefile-redirection-stderr: Makefile: fix misdirected redirections
This commit is contained in:
commit
98eef48257
4
Makefile
4
Makefile
@ -2263,10 +2263,10 @@ sparse: $(SP_OBJ)
|
|||||||
check: common-cmds.h
|
check: common-cmds.h
|
||||||
@if sparse; \
|
@if sparse; \
|
||||||
then \
|
then \
|
||||||
echo 2>&1 "Use 'make sparse' instead"; \
|
echo >&2 "Use 'make sparse' instead"; \
|
||||||
$(MAKE) --no-print-directory sparse; \
|
$(MAKE) --no-print-directory sparse; \
|
||||||
else \
|
else \
|
||||||
echo 2>&1 "Did you mean 'make test'?"; \
|
echo >&2 "Did you mean 'make test'?"; \
|
||||||
exit 1; \
|
exit 1; \
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user