From 79e7914a4f33997b110c4a9dfe844561d927b9c0 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Mon, 14 Mar 2016 17:03:09 -0700
Subject: [PATCH] Update .gitignore

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 448e1fe..2ccfacc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,4 @@
 /Makefile
 /config.log
 /config.status
+/build
-- 
2.30.2