summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorEric Anholt <eric@anholt.net>2009-10-08 17:34:13 -0700
committerEric Anholt <eric@anholt.net>2009-10-08 17:50:41 -0700
commit1556c62e0336ea2fef866722ee44d2d188e318f3 (patch)
tree7a09c96e1895cc1f1b0b6d97d45604e1a74e3de0 /.gitignore
parent8b2d2ff0d026eea445a071102a62d782f3bbec78 (diff)
Replace dolt and shave with relying on current autotools.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore4
1 files changed, 0 insertions, 4 deletions
diff --git a/.gitignore b/.gitignore
index 0479eb8b..998021b9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -18,14 +18,10 @@ config.sub
configure
configure.lineno
depcomp
-doltcompile
-doltlibtool
install-sh
libtool
ltmain.sh
missing
-shave
-shave-libtool
stamp-h1
i810.4
intel.4