aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index fe03839..d8ad716 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,7 @@
/aclocal.m4
/autom4te.cache/
/bin/cuirass
+/bin/evaluate
/build-aux/config.guess
/build-aux/config.sub
/build-aux/install-sh