]> git.tue.mpg.de Git - dss.git/commit
projects / dss.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac9ab4f) | patch
build: Generate intermediate files in build/.
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 8 May 2024 21:52:35 +0000 (23:52 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 2 Jul 2024 16:52:03 +0000 (18:52 +0200)
commit4f252751eed3c4337340d83c512c3727c54e8da1
tree39a8106d9372b284383a8e8a20aaa4b01338534etree | snapshot
parentac9ab4fd32bd337b5ea7a5219ae485886faa9806commit | diff
build: Generate intermediate files in build/.

This way the intermediate files don't clobber the top level of the
working directory. Also the clean phony target becomes simpler.
.gitignore diff | blob | history
Makefile diff | blob | history
DSS - dyadic snapshot scheduler