X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=4e1fccba441ee731e05a6fe5ead2225548e2b47f;hb=836fad5e1ae4316752150fcdfba9afbf8d5f5801;hp=3230266c4d6096f7b1b300a944cf41da6f59b766;hpb=8398cf7efc3979cd6c8152915a584c13873ee322;p=openvswitch

diff --git a/.gitignore b/.gitignore
index 3230266c..4e1fccba 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,6 +15,7 @@
 .*.cmd
 .*.swp
 .deps
+.dirstamp
 .libs
 .tmp_versions
 /Makefile
@@ -22,7 +23,6 @@
 /aclocal.m4
 /autom4te.cache
 /build-arch-stamp
-/build-aux
 /build-indep-stamp
 /compile
 /config.guess