]> git.tuebingen.mpg.de Git - dss.git/commit
projects / dss.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 64b4832) | 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>
Mon, 6 May 2024 20:10:06 +0000 (22:10 +0200)
commit0934adef70ba0e669b5adcd43c93ce1ade37619f
tree5e6e81860a2650c5d98e8e4228a940c3be994470tree | snapshot
parent64b483247ec99a38940d4c9f20630051682479dfcommit | diff
Avoid rebuilds of lopsub-generated files.

Without the .PRECIOUS special target, the files get removed after a
successful build and a subsequent make run rebuilds them.
Makefile diff | blob | history
DSS - dyadic snapshot scheduler