From 7d08f8c037c6753fac42633810e4deb0ba2c5123 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Hinderer?= <Sebastien.Hinderer@inria.fr>
Date: Wed, 26 Oct 2022 13:33:28 +0200
Subject: Update lintapidiff

Make the tool compile
---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 809bb2e27a..cd859f3035 100644
--- a/.gitignore
+++ b/.gitignore
@@ -308,6 +308,8 @@ META
 /tools/make_opcodes.ml
 /tools/ocamltex
 /tools/eventlog_metadata
+/tools/lintapidiff
+/tools/lintapidiff.opt
 
 /toplevel/byte/topeval.mli
 /toplevel/byte/trace.mli
-- 
cgit v1.2.1