]> 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, 26 Jun 2024 17:29:02 +0000 (19:29 +0200)
commit93e473900e91168728476b17f09532f74df1c035
treebb1ab58f0ca6dd6b4b4d7aeab94f4f24646a00ca
parent9ba2f473889d01f4e57f84b66a5be9473d0b6be9
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
Makefile