diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-03-13 14:07:13 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-03-13 14:07:13 +0100 |
| commit | a50902cad6765f80fc394d08054a8516febf7600 (patch) | |
| tree | 9ef82587e509df22e9bd46b82d7bb9de79d379ff /.gitignore | |
| parent | 4d7a6709946a0c30e932c00405252b42e348eb64 (diff) | |
| download | compcert-kvx-a50902cad6765f80fc394d08054a8516febf7600.tar.gz compcert-kvx-a50902cad6765f80fc394d08054a8516febf7600.zip | |
Anchor patterns to the top-level directory when appropriate
It's OK to ignore *.o in any directory, but it's safer to ignore
"/ccomp" (ccomp in the top-level directory) than to ignore
"ccomp" (ccomp in any directory).
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 94 |
1 files changed, 47 insertions, 47 deletions
@@ -14,54 +14,54 @@ # Emacs saves *~ # Executables and configuration -ccomp -ccomp.byte -ccomp.prof -clightgen -clightgen.byte -tools/ndfun -tools/modorder -Makefile.config -.merlin -_CoqProject +/ccomp +/ccomp.byte +/ccomp.prof +/clightgen +/clightgen.byte +/tools/ndfun +/tools/modorder +/Makefile.config +/.merlin +/_CoqProject # Generated files -.depend -.depend.extr -compcert.ini -x86/ConstpropOp.v -x86/SelectOp.v -x86/SelectLong.v -powerpc/ConstpropOp.v -powerpc/SelectOp.v -powerpc/SelectLong.v -arm/ConstpropOp.v -arm/SelectOp.v -arm/SelectLong.v -riscV/ConstpropOp.v -riscV/SelectOp.v -riscV/SelectLong.v -backend/SelectDiv.v -backend/SplitLong.v -cparser/Parser.v -cparser/Lexer.ml -cparser/pre_parser.ml -cparser/pre_parser.mli -cparser/pre_parser_messages.ml -cparser/pre_parser.automaton -cparser/pre_parser.messages -cparser/handcrafted.messages.bak -cparser/handcrafted.messages.raw -cparser/deLexer -cparser/tests/generated/*.c -cparser/tests/generated/*.err -lib/Readconfig.ml -lib/Tokenize.ml -lib/Responsefile.ml -driver/Version.ml +/.depend +/.depend.extr +/compcert.ini +/x86/ConstpropOp.v +/x86/SelectOp.v +/x86/SelectLong.v +/powerpc/ConstpropOp.v +/powerpc/SelectOp.v +/powerpc/SelectLong.v +/arm/ConstpropOp.v +/arm/SelectOp.v +/arm/SelectLong.v +/riscV/ConstpropOp.v +/riscV/SelectOp.v +/riscV/SelectLong.v +/backend/SelectDiv.v +/backend/SplitLong.v +/cparser/Parser.v +/cparser/Lexer.ml +/cparser/pre_parser.ml +/cparser/pre_parser.mli +/cparser/pre_parser_messages.ml +/cparser/pre_parser.automaton +/cparser/pre_parser.messages +/cparser/handcrafted.messages.bak +/cparser/handcrafted.messages.raw +/cparser/deLexer +/cparser/tests/generated/*.c +/cparser/tests/generated/*.err +/lib/Readconfig.ml +/lib/Tokenize.ml +/lib/Responsefile.ml +/driver/Version.ml # Documentation -doc/coq2html -doc/coq2html.ml -doc/html -doc/html/ +/doc/coq2html +/doc/coq2html.ml +/doc/html +/doc/html/ # MacOS metadata .DS_Store |