From 324072c12a164f98d0ffa8125d319ffb49df87d8 Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Thu, 31 Oct 2019 17:04:48 +0100
Subject: Communicate CFLAGS to dune

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index ad5204847c..50b29b213e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -150,6 +150,7 @@ plugins/ssr/ssrvernac.ml
 
 # other auto-generated files
 
+kernel/byterun/dune.c_flags
 kernel/byterun/coq_instruct.h
 kernel/byterun/coq_jumptbl.h
 kernel/genOpcodeFiles.exe
-- 
cgit v1.2.3