Skip to contentSkip to conversation

Usefulness of make -t

DISCUSSION Alejandro Colomar 1 participant 2 messages Apr 2, 2023 Man-pages: manual pages for Linux -- Sections 2, 3, 4, 5, and 7

lore
Share & tools
lore
#0 lore raw

Hi Paul,

Yesterday I found another use of make's -t flag: It helps make sure that the logic in the Makefile is correct. You could run the target without -t, but then you risk seeing warnings and errors from the commands run by the target before make's own ones, which would hide Makefile problems.

If you run make -kstj [target(s)] after modifying a Makefile, it will show only and all^Wmost problems in the Makefile itself. It could be especially useful with 4.4's --shuffle, although I don't have it yet in Debian Sid :(. I should build from source and try it.

I'll start using that as a rule to check changes to Makefiles, and hopefully will avoid introducing bugs that I need to fix in the next commit :)

<https://git.kernel.org/pub/scm/docs/man-pages/man-pages.git/commit/?id=5bf82f50cf02ded2403666d6c1ee2878b8bd602e>

Cheers,
Alex

Signature · 2 lines
<http://www.alejandro-colomar.es/>
GPG key fingerprint: A9348594CE31283A826FBDD8D57633D441E25BB5
#1 lore raw
Quoted 13 lines · Alejandro Colomar

Hi Paul,

Yesterday I found another use of make's -t flag: It helps make sure that the logic in the Makefile is correct. You could run the target without -t, but then you risk seeing warnings and errors from the commands run by the target before make's own ones, which would hide Makefile problems.

If you run make -kstj [target(s)] after modifying a Makefile, it will show only and all^Wmost problems in the Makefile itself. It could be especially useful with 4.4's --shuffle, although I don't have it yet in Debian Sid :(. I should build from source and try it.

Quoted 5 lines

I'll start using that as a rule to check changes to Makefiles, and hopefully will avoid introducing bugs that I need to fix in the next commit :)

<https://git.kernel.org/pub/scm/docs/man-pages/man-pages.git/commit/?id=5bf82f50cf02ded2403666d6c1ee2878b8bd602e>

Running this a few times works like a charm:

    $ make -kstj --shuffle >/dev/null; make clean >/dev/null

Very recommended :)

Quoted 5 lines

Cheers,
Alex

Signature · 2 lines
<http://www.alejandro-colomar.es/>
GPG key fingerprint: A9348594CE31283A826FBDD8D57633D441E25BB5