]> git.tuebingen.mpg.de Git - dss.git/commit
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>
Wed, 22 May 2024 16:40:17 +0000 (18:40 +0200)
commit03477ad95110351ab9d019e66799fe4b7d492cc4
tree6113fcc5cd967e2aaf6e49a6008675ae8ef2dc82
parentf734fb5aac06dea594e1012945439e1985b550cc
build: Generate intermediate files in build/.

This way all the intermediate files don't clobber the top level of
the working directory. Also the clean phony target becomes simpler.
.gitignore
Makefile