diff options
author | Tavian Barnes <tavianator@tavianator.com> | 2020-12-16 15:18:17 -0500 |
---|---|---|
committer | Tavian Barnes <tavianator@tavianator.com> | 2020-12-16 15:23:09 -0500 |
commit | ecf6a45612e2398a5dd72c89f7971f903442054e (patch) | |
tree | c28200ed1efcbca6e1537d55871f15dbb8efa4b8 /time.c | |
parent | 986a206965da3f5bf6fd11d3285b5e19b6e066d1 (diff) | |
download | bfs-ecf6a45612e2398a5dd72c89f7971f903442054e.tar.xz |
Makefile: Avoid rebuilding everything for make release main.o
To do this we need to only add the release: default dependency if no
non-flag goals are specified on the command line. While I'm at it,
simplify and coalesce a few recipes.
Diffstat (limited to 'time.c')
0 files changed, 0 insertions, 0 deletions