diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-11-14T19·11+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-11-14T19·11+0000 |
| commit | 17d18b1a9c821c234f5b0df7f4dec41a7ec537c1 (patch) | |
| tree | dbe9e544912d446c2cf81b5c907e27d686957215 | |
| parent | 0ddaee756e6e6b1d3802969162a90d4ff7ef886b (diff) | |
* Doh!
| -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 0c4c1921cd3a..969ca2df878f 100644 --- a/externals/Makefile.am +++ b/externals/Makefile.am @@ -101,7 +101,7 @@ endif all: build-db build-aterm build-bzip2 -EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.gz $(BZIP2).tar.gz \ +EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.bz2 $(BZIP2).tar.gz \ bdb-cygwin.patch aterm-aliasing.patch aterm-64-bit.patch ext-clean: |