提交 95837393 编写于 作者: D Daniel Gustafsson 提交者: Bradford D. Boyle

Remove unused function from Makefile

There are no callers of this, and there seems little use fot it, so
remove.
Reviewed-by: NBen Christel <bchristel@pivotal.io>
Reviewed-by: NBradford Boyle <bboyle@pivotal.io>
(cherry picked from commit 2c275d1c)
上级 8ff93af3
......@@ -185,11 +185,6 @@ endif
# Functions for use in this and including makefiles
# function: echocute
# purpose: echo the argument to stdout and then execute the argument
# issue: GNU make-3.79.1 on 32-bit Linux can't handle this
echocute=echo "$(1)"; $(1)
# function: check_pipe_for_errors
# purpose: detect cases where a member of a pipe sequence fails; make normally only checks the last command in the pipe
ifeq "$(origin check_pipe_for_errors)" "undefined"
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册