# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1419615022 18000
# Node ID b7cb53affc08b3975d9acace3355524cc13166bf
# Parent  9272476e2a1c5a102dabae129d8247c4712ef2f0
Add to .hgignore

diff -r 9272476e2a1c -r b7cb53affc08 .hgignore
--- a/.hgignore	Thu Dec 25 18:32:27 2014 -0500
+++ b/.hgignore	Fri Dec 26 12:30:22 2014 -0500
@@ -62,6 +62,7 @@
 config.*
 configure
 depcomp
+compile
 install-sh
 ltmain.sh
 missing