From: Juergen Gross <jgross@suse.com>
Date: Mon, 20 Jun 2022 07:38:20 +0000 (+0200)
Subject: mini-os: add mini-os-debug[.gz] to .gitignore
X-Git-Tag: xen-4.17.0-rc4~4
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=502f3df310c0e3cce3022596bcd12727349f6624;p=mini-os.git

mini-os: add mini-os-debug[.gz] to .gitignore

mini-os-debug and mini-os-debug.gz are created when building Mini-OS,
add them to .gitignore.

Signed-off-by: Juergen Gross <jgross@suse.com>
Reviewed-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
---

diff --git a/.gitignore b/.gitignore
index d57c2bd..abef46b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,3 +14,5 @@ include/list.h
 mini-os
 mini-os.gz
 minios-config.mk
+mini-os-debug
+mini-os-debug.gz