diff --git a/.gitignore b/.gitignore index 0f63c0bd..20777e42 100644 --- a/.gitignore +++ b/.gitignore @@ -21,3 +21,6 @@ config.log config.status /executer/user/mcexec /kernel/build +/arch/x86/tools/mcreboot-attached-mic.sh +/arch/x86/tools/mcreboot.1 +/arch/x86/tools/mcshutdown-attached-mic.sh