diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-06-23T13·52+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-06-23T13·52+0000 |
commit | b3b0b2a29e2842784f80cf839f84af18b0b83e90 (patch) | |
tree | cd54134e7e29ef295d88572b25fbe8a94ce5a10f | |
parent | 6c8641a542aef69698ae05f568e8b8d67abfea8b (diff) |
* `make ext-clean': remove the bzip2 build.
-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 722994c9aa51..2b980ac9c40b 100644 --- a/externals/Makefile.am +++ b/externals/Makefile.am @@ -113,5 +113,5 @@ EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.bz2 $(BZIP2).tar.gz \ bdb-cygwin.patch ext-clean: - $(RM) -f have-db build-db have-aterm build-aterm + $(RM) -f have-db build-db have-aterm build-aterm have-bzip2 build-bzip2 $(RM) -rf $(DB) $(ATERM) $(BZIP2) |