diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-06-03 16:33:28 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-06-04 09:50:32 +0000 |
| commit | 9324ed1352069045aeef93346ef4c041c6d1240f (patch) | |
| tree | 7f49bfd069fde75eb0130990711a04570a84e970 /Makefile | |
| parent | 131643847bb0eb1748a4a9c8c38be76c2c28469c (diff) | |
Makefile: format generated files
It's handy b/c if one builds everything and then does "go fmt ./..."
then generated files change and everything needs to be built again.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -150,6 +150,7 @@ descriptions: .descriptions: sys/*/*.txt sys/*/*.const bin/syz-sysgen bin/syz-sysgen + $(GO) fmt ./sys/... >/dev/null touch .descriptions manager: descriptions |