diff options
Diffstat (limited to 'Makefile.inc1')
-rw-r--r-- | Makefile.inc1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.inc1 b/Makefile.inc1 index 9209f0ef053c..eb69d660cede 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -2475,7 +2475,7 @@ _bootstrap_tools_links+=${_links:S/,/ /g} ${_bt}-links: .PHONY .for _tool in ${_bootstrap_tools_links} -${_bt}-link-${_tool}: .PHONY .MAKE +${_bt}-link-${_tool}: .PHONY @rm -f "${WORLDTMP}/legacy/bin/${_tool}"; \ source_path=`which ${_tool}`; \ if [ ! -e "$${source_path}" ] ; then \ |