diff --git a/targets/Makefile.xtras b/targets/Makefile.xtras index 7acf130dee1b..807cb9a71180 100644 --- a/targets/Makefile.xtras +++ b/targets/Makefile.xtras @@ -54,7 +54,9 @@ show-help: not-valid-target: @echo "ERROR: '${_TARGETS}' is not a valid target for ${MACHINE}." +.if make(destroy*) .include +.endif .for t in ${_TARGETS:Nlove} .if !target($t)