From fbb176a7ca4a7487bfe1e543fe4fdc691c5ebf63 Mon Sep 17 00:00:00 2001
From: Zhibin Li <08826794brmt@gmail.com>
Date: Thu, 28 Jun 2018 00:02:37 +0800
Subject: [PATCH] .gitignore: ignore linux/linux

Ignore directory linux/linux created by workaround from commit
v4.23-11-g15003d4.

* .gitignore: Add /linux/linux.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 13c196d9..757179e7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -34,6 +34,7 @@
 /libmpers-m32.a
 /libmpers-mx32.a
 /libstrace.a
+/linux/linux
 /m32_funcs.h
 /m32_printer_decls.h
 /m32_printer_defs.h
-- 
2.40.0