[Xen-changelog] [xen master] gitignore: ignore extras/mini-os*

[patchbot@xxxxxxx]

commit 5dfa6eade5da0bccd3c901c0b4614c7c0d5b12b2
Author:     Wei Liu <wei.liu2@xxxxxxxxxx>
AuthorDate: Tue Oct 6 17:44:37 2015 +0100
Commit:     Ian Campbell <ian.campbell@xxxxxxxxxx>
CommitDate: Wed Oct 7 12:13:26 2015 +0100

    gitignore: ignore extras/mini-os*
    
    The original pattern doesn't handle mini-os-dir-remote.
    
    Signed-off-by: Wei Liu <wei.liu2@xxxxxxxxxx>
    Acked-by: Ian Campbell <ian.campbell@xxxxxxxxxx>
---
 .gitignore |    3 +--
 1 files changed, 1 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 9ead7c4..91e1430 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-*
--
generated by git-patchbot for /home/xen/git/xen.git#master

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog