From a50902cad6765f80fc394d08054a8516febf7600 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Tue, 13 Mar 2018 14:07:13 +0100
Subject: 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).
---
 .gitignore | 94 +++++++++++++++++++++++++++++++-------------------------------
 1 file changed, 47 insertions(+), 47 deletions(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 4d19db5d..b782e849 100644
--- a/.gitignore
+++ b/.gitignore
@@ -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
-- 
cgit