diff options
author | Bertrand Marquis <bertrand.marquis@arm.com> | 2022-09-06 17:21:57 +0200 |
---|---|---|
committer | Jan Beulich <jbeulich@suse.com> | 2022-09-06 17:21:57 +0200 |
commit | 0b5034946f03f63e2c59255ae2fd9c18c9a20ec1 (patch) | |
tree | effdf742a7808d365607fa812e361448152d64e9 /.gitignore | |
parent | 48f35317c2e2707fc66a839690fe41e6f16180de (diff) | |
download | xen-0b5034946f03f63e2c59255ae2fd9c18c9a20ec1.tar.gz |
automation: only filter build-*/ in gitignore
...because there are some script in automation corresponding to the
build-* filter (build-test.sh and build-each-commit.sh)
Signed-off-by: Bertrand Marquis <bertrand.marquis@arm.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index e3fe06cd13..27881c9764 100644 --- a/.gitignore +++ b/.gitignore @@ -38,13 +38,13 @@ dist stubdom/*.tar.gz autom4te.cache/ +build-*/ config.log config.status config.cache config/Toplevel.mk config/Paths.mk -build-* dist/* docs/tmp.* docs/html/ |