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 d57c2bddd0a46f7dc2afa4ce6b3668c545fd02df..abef46b21cf1d31496f11b83dadeecff21249c35 100644 (file)
--- 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