[PATCH] .gitignore: add linux/linux

[Zhibin Li]

Ignore directory linux/linux created by workaround from commit 15003d43.
---
 .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.14.4