From 43615c60e7d493d7a9656268dab552eb2246f99f Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@eecs.berkeley.edu>
Date: Mon, 7 Jul 2014 15:17:16 -0700
Subject: Use precompiled headers to speed up compilation

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 031e691..7503c9a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 build/
+*.gch
 autom4te.cache/
 .*.swp
-- 
cgit v1.1