]> git.tuebingen.mpg.de Git - dss.git/commit
projects / dss.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0fc038d) | 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, 20 May 2024 18:22:53 +0000 (20:22 +0200)
commitf5e8b3ef7095859a5604c82cf62b04999a5da6e7
treea1bec364b7e24e16084bdf74114069d386187cfctree | snapshot
parent0fc038d0a0d8b4aabb27a7ccdc70af6f1af1c40acommit | 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