diff options
-rw-r--r-- | .gitignore | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index d1a503b9a7..8810b35b54 100644 --- a/.gitignore +++ b/.gitignore @@ -105,6 +105,12 @@ stubdom/lwip/ stubdom/ioemu/ stubdom/stubdompath.sh tools/*/build/lib*/*.py +tools/autom4te.cache +tools/config.h +tools/config.log +tools/config.status +tools/config.cache +config/Tools.mk tools/blktap2/daemon/blktapctrl tools/blktap2/drivers/img2qcow tools/blktap2/drivers/lock-util |