From 18aa6e72c77855f789bb4dde1d9fcb71b464eb5a Mon Sep 17 00:00:00 2001
From: "xudong.wang" <xudong.wang@chaitin.com>
Date: Fri, 12 Aug 2022 15:47:00 +0800
Subject: [PATCH] git: ignore .check* files

---
 .gitignore | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index d5bd301ea..87ce42d81 100644
--- a/.gitignore
+++ b/.gitignore
@@ -20,4 +20,5 @@
 
 kern/bpf/x86/vmlinux.h
 
-bin/*
\ No newline at end of file
+bin/*
+/.check*