diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 13d3e94b31..d1c4e466f9 100644 --- a/.gitignore +++ b/.gitignore @@ -64,6 +64,7 @@ extras/mini-os/include/ia64/mini-os extras/mini-os/include/ia64/offsets.h extras/mini-os/include/x86/mini-os extras/mini-os/include/xen +extras/mini-os/include/list.h extras/mini-os/mini-os* install/* linux-[^/]*-paravirt/* @@ -150,10 +151,11 @@ tools/firmware/rombios/rombios[^/]*.s tools/firmware/rombios/32bit/32bitbios_flat.h tools/firmware/vgabios/vbetables-gen tools/firmware/vgabios/vbetables.h -tools/flask/loadpolicy/flask-loadpolicy tools/flask/utils/flask-getenforce +tools/flask/utils/flask-get-bool tools/flask/utils/flask-loadpolicy tools/flask/utils/flask-setenforce +tools/flask/utils/flask-set-bool tools/flask/utils/flask-label-pci tools/fs-back/fs-backend tools/hotplug/common/hotplugpath.sh @@ -236,6 +238,7 @@ tools/xenpaging/xenpaging tools/xenpmd/xenpmd tools/xenstat/xentop/xentop tools/xenstore/testsuite/tmp/* +tools/xenstore/init-xenstore-domain tools/xenstore/xen tools/xenstore/xenstore tools/xenstore/xenstore-chmod |