commit | 81cc98a9875ed4b8f0cf690ab282d09df6a19ace | [log] [tgz] |
---|---|---|
author | Dave Martin <Dave.Martin@arm.com> | Fri Jan 18 16:14:10 2019 +0000 |
committer | Will Deacon <will.deacon@arm.com> | Tue Jan 22 06:55:06 2019 +0000 |
tree | 82db9c958f5bad306c7d0947b499724e7ec5de0c | |
parent | fdd26ecb4bc52ac7e06455d5ea2cf5ebf7d500bc [diff] |
guest: Add generated file guest/guest_init.c to .gitignore guest/guest_init.c is a generated file, but git doesn't currently ignore it. This can be annoying when running git status etc. This patch adds a suitable .gitignore entry for this file. Signed-off-by: Dave Martin <Dave.Martin@arm.com> [will: Do the same for guest/guest_pre_init.c] Signed-off-by: Will Deacon <will.deacon@arm.com>