gitignore: ignore extras/mini-os*

The original pattern doesn't handle mini-os-dir-remote.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>

diff --git a/.gitignore b/.gitignore
index 9ead7c478fe0bc8cec596efa13600ab89c7d1de7..91e1430d37cb95262ba0d02b98ea495671c248ea 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -46,8 +46,7 @@ docs/man5/
 docs/man8/
 docs/pdf/
 docs/txt/
-extras/mini-os
-extras/mini-os-remote
+extras/mini-os*
 install/*
 stubdom/autom4te.cache/
 stubdom/binutils-*