On 22.11.2023 09:31, Juergen Gross wrote: > --- /dev/null > +++ b/tools/python/.gitignore > @@ -0,0 +1,4 @@ > +build/*
Are this and just build/ actually equivalent? Looking at our top-level .gitignore, I see e.g. extras/ and install/*, which I would expect want both treating the same? The form with a wildcard, to me at least, doesn't obviously include the directory itself ... > +xen.egg-info/* > +xen/lowlevel/xl/_pyxl_types.c > +xen/lowlevel/xl/_pyxl_types.h Since wildcards can be used here, how about just xen/lowlevel/xl/_pyxl_types.[ch] ? Jan
