summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorEric Anholt <eric@anholt.net>2008-04-10 10:24:48 -0700
committerEric Anholt <eric@anholt.net>2008-04-10 11:39:59 -0700
commitbd41d2bb858770c109d5013274a4354e8e6ae32d (patch)
tree276751bc64ff3bb44e4909dafd95ffd609a20258 /.gitignore
parent96ae9a9f0abc582e45ff4e17dd213c8739c24cb3 (diff)
Add dolt to speed up compile time and reduce insanity.
Hopefully some day we can be rid of libtool entirely.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 998021b9..ff1cb3b6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -18,6 +18,7 @@ config.sub
configure
configure.lineno
depcomp
+doltcompile
install-sh
libtool
ltmain.sh