X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=.gitignore;h=4e1fccba441ee731e05a6fe5ead2225548e2b47f;hb=5b3941ee1797172ee1f349d6a03e3914217ce890;hp=a9377fbdbfb958ace09d43cffffa7d0c82299b76;hpb=7a44236e274511579719aecdb0b3cd4b090be03f;p=openvswitch

diff --git a/.gitignore b/.gitignore
index a9377fbd..4e1fccba 100644
--- a/.gitignore
+++ b/.gitignore
@@ -23,7 +23,6 @@
 /aclocal.m4
 /autom4te.cache
 /build-arch-stamp
-/build-aux
 /build-indep-stamp
 /compile
 /config.guess