From 857ad5fda8129d7b87b5bff781aacf48a37811e2 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbarenblat@galois.com>
Date: Mon, 14 Apr 2014 13:46:38 -0700
Subject: Ignore 'compile' script
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

The previous commit (ca03d49) added 'AM_PROG_CC_C_O' to 'Makefile.am'.
This causes Automake to create an extra script, 'compile', a ‘Wrapper
for compilers which do not understand '-c -o'’.  As an an autogenerated
file, this needs to be ignored.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index d4caf57..ae5af91 100644
--- a/.gitignore
+++ b/.gitignore
@@ -27,6 +27,7 @@ ltmain.sh
 # automake
 Makefile.in
 ar-lib
+compile
 config.guess
 config.sub
 depcomp
-- 
cgit v1.2.3