]> git.tue.mpg.de Git - paraslash.git/commit
build: Remove .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>
Wed, 8 Jan 2025 17:39:00 +0000 (18:39 +0100)
commit87364322f8004249aee2c0464c28d8eba1fbb00a
tree610f08c2a9b668cc653cba86e0ab1532150428c7
parentc0641c8513dbbf37026bbe2e04e4a441fd6e640c
build: Remove .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