diff options
author | Dave Martin <Dave.Martin@arm.com> | 2019-01-18 16:14:10 +0000 |
---|---|---|
committer | Will Deacon <will.deacon@arm.com> | 2019-01-22 06:55:06 +0000 |
commit | 81cc98a9875ed4b8f0cf690ab282d09df6a19ace (patch) | |
tree | 82db9c958f5bad306c7d0947b499724e7ec5de0c | |
parent | fdd26ecb4bc52ac7e06455d5ea2cf5ebf7d500bc (diff) | |
download | kvmtool-81cc98a9875ed4b8f0cf690ab282d09df6a19ace.tar.gz |
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>
-rw-r--r-- | guest/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/guest/.gitignore b/guest/.gitignore new file mode 100644 index 00000000..0ccdcbb5 --- /dev/null +++ b/guest/.gitignore @@ -0,0 +1,2 @@ +guest_pre_init.c +guest_init.c |