diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2018-08-30 20:15:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-30 20:15:44 +0200 |
| commit | c9862e2cb73c6d584d1bef15c8e89cfb365e24fa (patch) | |
| tree | 7e3adfbd0e1c27621e17894be005dba529839480 /src | |
| parent | 11fab7db1d1bf9a90ac09454d35542e6b27506bd (diff) | |
| parent | 6628d39f4a07600067324d83932b55b89c586ec3 (diff) | |
Rollup merge of #53768 - RalfJung:gitignore, r=nikomatsakis
move file-extension based .gitignore down to src/ Currently, it for example ignores `*.rlib` files in the repository root -- which I think is wrong; I sometimes get these files when I call rustc directly and I do want them cleaned up, not ignored. No such files are created during the normal build process.
Diffstat (limited to 'src')
| -rw-r--r-- | src/.gitignore | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/src/.gitignore b/src/.gitignore new file mode 100644 index 00000000000..f1b36f58580 --- /dev/null +++ b/src/.gitignore @@ -0,0 +1,46 @@ +*.a +*.aux +*.bc +*.boot +*.bz2 +*.cmi +*.cmo +*.cmx +*.cp +*.cps +*.d +*.dSYM +*.def +*.diff +*.dll +*.dylib +*.elc +*.epub +*.exe +*.fn +*.html +*.kdev4 +*.ky +*.ll +*.llvm +*.log +*.o +*.orig +*.out +*.patch +*.pdb +*.pdf +*.pg +*.pot +*.pyc +*.rej +*.rlib +*.rustc +*.so +*.swo +*.swp +*.tmp +*.toc +*.tp +*.vr +*.x86 |