about summary refs log tree commit diff
path: root/externals
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-11-14T19·18+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-11-14T19·18+0000
commit471749ca7eb594660488954d23391f5329d638a4 (patch)
tree28749c4640d1df871d58066e8274cb2f18db7327 /externals
parent17d18b1a9c821c234f5b0df7f4dec41a7ec537c1 (diff)
* Grrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrr...
Diffstat (limited to 'externals')
-rw-r--r--externals/Makefile.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am
index 969ca2df878f..1857efb15093 100644
--- a/externals/Makefile.am
+++ b/externals/Makefile.am
@@ -102,7 +102,7 @@ endif
 all: build-db build-aterm build-bzip2
 
 EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.bz2 $(BZIP2).tar.gz \
-  bdb-cygwin.patch aterm-aliasing.patch aterm-64-bit.patch
+  bdb-cygwin.patch
 
 ext-clean:
 	$(RM) -f have-db build-db have-aterm build-aterm