]> git.tue.mpg.de Git - dss.git/commit
projects / dss.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ebdb623) | patch
Make the build quiet by default.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 28 Apr 2024 01:25:28 +0000 (03:25 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 2 Jul 2024 16:52:03 +0000 (18:52 +0200)
commit7a4cb5a8ca0464725a49b7f113f3a269eeaf325c
treed5d8911317b0ab1c3075599dfc9a4288239f4808tree | snapshot
parentebdb623b5356f43fce841825ee473ea6ea56de20commit | diff
Make the build quiet by default.

This teaches make(1) to give all lines of the recipe to a single
shell invocation, speeding up the build and facilitating the simple
SAY function to quieten the build. The old verbose output can still
be obtained by running make V=1.
Makefile diff | blob | history
DSS - dyadic snapshot scheduler