diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-04-25T10·57+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-04-25T10·57+0000 |
| commit | 0748331b708deec8319a3e0dcb075b4c396b5665 (patch) | |
| tree | da72e65a7b57f47b505c6f79a43ef325cc3bbcc6 | |
| parent | 03162f8f477fb7634edbf53ad4e9dfca433dd9d9 (diff) | |
* Typo.
| -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 7fa9e6f6426b..f08912c1f0e9 100644 --- a/externals/Makefile.am +++ b/externals/Makefile.am @@ -99,7 +99,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.gz $(BZIP2).tar.gz ext-clean: $(RM) -f have-db build-db have-aterm build-aterm |