diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-06-13 15:55:31 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-06-13 15:55:31 +0200 |
| commit | 3751542e1e442c798e456f11d49e48710d90a0eb (patch) | |
| tree | 586bb66b2ed007d9d2c671ec1143060c10935dce /.gitignore | |
| parent | b94b250a78e2149a922e506614f796cd27f2b70e (diff) | |
sys: check in generated files
We used to have all generated files checked in.
Later we removed them (now users are supposed to
run make to generate them). This causes several
problems:
- go get does not work as it tries to build everything
straight away (go get -d works, but users are confused)
- users don't run make and complain that build is broken
- users don't re-run make after updates and complain that
build is broken
- hard to integrate into other build system (even if they
support building Go, they don't support running sysgen
out-of-the-box)
Fixes #216
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.gitignore b/.gitignore index 0dfa16ce5..018a6d605 100644 --- a/.gitignore +++ b/.gitignore @@ -4,7 +4,3 @@ workdir* bin/ -sys/sys_amd64.go -sys/sys_arm64.go -sys/sys_ppc64le.go -executor/syscalls.h |