diff options
| author | Tavian Barnes <tavianator@tavianator.com> | 2022-04-18 22:13:03 -0400 |
|---|---|---|
| committer | Tavian Barnes <tavianator@tavianator.com> | 2022-04-18 22:13:03 -0400 |
| commit | ae20140e651f14721cf870b3910421135dbcc3d5 (patch) | |
| tree | ce608a942dea9b7b4294f2c3300a900630ecc850 /.github | |
| parent | e75f86a9f5f42147cd974b510d547eec6a1fc518 (diff) | |
| download | bfs-ae20140e651f14721cf870b3910421135dbcc3d5.tar.xz | |
Makefile: Use a recipe to update .flags rather than $(shell)
This means we don't need to generate .flags unless we're actually
building a target that needs it, which is important for thing like
$ sudo make install
that used to inconveniently create a root-owned .flags file.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions