.gitignore: ignore linux/linux

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

* .gitignore: Add /linux/linux.

diff --git a/.gitignore b/.gitignore
index 13c196d9b7a19e7df37afc20b3a479e16becf773..757179e7ca874d80a05f1e2e322a224efe133c19 100644 (file)
--- 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