Update .gitignore
authorAndrew Waterman <waterman@cs.berkeley.edu>
Tue, 15 Mar 2016 00:03:09 +0000 (17:03 -0700)
committerAndrew Waterman <waterman@cs.berkeley.edu>
Tue, 15 Mar 2016 00:03:09 +0000 (17:03 -0700)
.gitignore

index 448e1fef48f340a03556a9cf518f248096a09209..2ccfacce4e54021b8969bf4d41a9452fb4b2dded 100644 (file)
@@ -10,3 +10,4 @@
 /Makefile
 /config.log
 /config.status
 /Makefile
 /config.log
 /config.status
+/build