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