]> git.tue.mpg.de Git - dss.git/commit
projects / dss.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa32681) | patch
Avoid rebuilds of lopsub-generated files.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 28 Apr 2024 03:10:19 +0000 (05:10 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 2 Jul 2024 16:52:03 +0000 (18:52 +0200)
commitbca56b8545d22884eae29a0fafb7400eb80c5ac1
tree877394e744f08c058af74f5b69f70384f0a6e28dtree | snapshot
parentaa32681b4f7ef8c02afda4ca28ca46d16b6feed2commit | diff
Avoid rebuilds of lopsub-generated files.

Without having the .PRECIOUS special target depending on these, the
files get removed after a successful build and a subsequent make run
has to rebuild them.
Makefile diff | blob | history
DSS - dyadic snapshot scheduler