]> git.tue.mpg.de Git - paraslash.git/commit
build: Remove the .PRECIOUS target.
authorAndre Noll <maan@tuebingen.mpg.de>
Thu, 2 Jan 2025 00:06:03 +0000 (01:06 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 20 Jan 2025 21:06:33 +0000 (22:06 +0100)
commitb45c95ae01f5b478bfe306feeb64f3c054bc6f55
treeb315e496daf5c89667a7b249879f0d15f391af87
parentc46cdd5421ac74d28d761e11ce54d934bb908aca
build: Remove the .PRECIOUS target.

Instruct make(1) to never remove any intermediate files by defining
.SECONDARY. This way we don't need to maintain the list of precious
targets.
Makefile.real
m4/lls/makefile
yy/makefile