X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=build-aux%2F.gitignore;fp=build-aux%2F.gitignore;h=390652465dfe7d809202c01dadfcd56574b5e9e7;hb=caee2a5c4b0cb94f6bb87d02c0ccad76c131061f;hp=0000000000000000000000000000000000000000;hpb=5905c43031658415a3d013e1572bd70e734e3813;p=pspp

diff --git a/build-aux/.gitignore b/build-aux/.gitignore
new file mode 100644
index 0000000000..390652465d
--- /dev/null
+++ b/build-aux/.gitignore
@@ -0,0 +1 @@
+/libtool-reloc