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

[patchbot@xxxxxxx]

commit 502f3df310c0e3cce3022596bcd12727349f6624
Author:     Juergen Gross <jgross@xxxxxxxx>
AuthorDate: Mon Jun 20 09:38:20 2022 +0200
Commit:     Julien Grall <jgrall@xxxxxxxxxx>
CommitDate: Mon Jul 4 09:50:54 2022 +0100

    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@xxxxxxxx>
    Reviewed-by: Samuel Thibault <samuel.thibault@xxxxxxxxxxxx>
---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

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
--
generated by git-patchbot for /home/xen/git/mini-os.git#master