Is there any way for “make” to echo commands

Question

Is there a way to have make echo commands that are manually suppressed with @ in the makefile? I can\'t find this in the help or man page, it just says

Answer 1

The most obvious idea is to change the shell that runs the commands, e.g. add:

SHELL = sh -xv

to your makefile.