diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-04-29 17:57:32 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-04-30 17:18:29 +0200 |
| commit | ec42220e7773fba548e379606fe445cb30f4c424 (patch) | |
| tree | ff6967f2eb11408cb99fe810f805c8c44d553832 /.gitignore | |
| parent | 136082ab38d86932bc3ed0087694e99d0e55491b (diff) | |
Makefile: generate descriptions on-the-fly
Checking in the generated descriptions files makes few things simpler,
but causes pain for pull requests: (1) PRs that touch descriptions
_always_ conflict, (2) PRs are large and harder to review,
(3) people sometimes forget to add auto-generated files.
The proposed way does not require us to hardcode lots of dependencies
in the Makefile (which is nice) and seem to work.
Let's see how it works.
The main contributor-visible consequence is that the auto-generated
files do not need to be checked-in now.
Credit for figuring the Makefile magic goes to @melver.
Fixes #1291
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 97e0be570..63902676d 100644 --- a/.gitignore +++ b/.gitignore @@ -6,5 +6,16 @@ workdir* bin/ dashboard/app/config_prod.go +# stub file used by Makefile +.descriptions + +# files generated by syz-sysgen +sys/*/gen/*.go +executor/defs.h +executor/syscalls.h + +# produced by gcloud command +dashboard/app/.gcloudignore + # jetbrains goland .idea |