From ec42220e7773fba548e379606fe445cb30f4c424 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Wed, 29 Apr 2020 17:57:32 +0200 Subject: 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 --- .gitignore | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to '.gitignore') 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 -- cgit mrf-deployment