From: Wei Liu <wei.liu2@citrix.com>
Date: Tue, 6 Oct 2015 16:44:37 +0000 (+0100)
Subject: gitignore: ignore extras/mini-os*
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~2439
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=5dfa6eade5da0bccd3c901c0b4614c7c0d5b12b2;p=xen.git

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 9ead7c478f..91e1430d37 100644
--- 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-*