X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=4e1fccba441ee731e05a6fe5ead2225548e2b47f;hb=33ef7695b71a71f2d0bb0e00aab46855afb8c2a6;hp=3230266c4d6096f7b1b300a944cf41da6f59b766;hpb=4d678233e981fa319a338f6b0949e9dc625941a4;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