diff options
-rw-r--r-- | .gitignore | 5 | ||||
-rw-r--r-- | .hgignore | 4 |
2 files changed, 7 insertions, 2 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 @@ -154,10 +154,11 @@ ^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$ @@ -249,6 +250,7 @@ ^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$ |