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 /.github | |
| 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 '.github')
0 files changed, 0 insertions, 0 deletions