From 0386265191303ca71d054e5f868d2a9e92f30fc5 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 7 Dec 2015 13:00:04 +0100
Subject: Ignore *.cmt(i) files and allow global COMPFLAGS.

Instead of using = to set the COMPFLAGS use += which allows it to
specify custom compiler flags in for example the Makefile.config.
Also remove *.cmt(i) files and add them to the .gitignore file.
Bug 17742
---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 15cfd622..05d33563 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,6 +8,8 @@
 *.cmx
 *.cma
 *.cmxa
+*.cmti
+*.cmt
 # Emacs saves
 *~
 # Executables and configuration
-- 
cgit