diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-11-14 19:18:52 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-11-14 19:18:52 +0000 |
| commit | 471749ca7eb594660488954d23391f5329d638a4 (patch) | |
| tree | 28749c4640d1df871d58066e8274cb2f18db7327 | |
| parent | 17d18b1a9c821c234f5b0df7f4dec41a7ec537c1 (diff) | |
* Grrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrr...
| -rw-r--r-- | externals/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am index 969ca2df8..1857efb15 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 |