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