diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-12-15 13:45:10 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-12-15 13:45:10 +0000 |
| commit | 11a8dc76d6262c8da601cf640516b9e9669850a2 (patch) | |
| tree | 323567248ba3027e7b4fc05f96ede1963992c613 /externals | |
| parent | ab5c6bb3a3deef29c6fe0a86017d35bc4f3de506 (diff) | |
* Doh!
Diffstat (limited to 'externals')
| -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 05f9ddea6..76f4c6759 100644 --- a/externals/Makefile.am +++ b/externals/Makefile.am @@ -67,7 +67,7 @@ endif all: build-db build-aterm -EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.gz +EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.gz register.patch ext-clean: $(RM) -f have-db build-db have-aterm build-aterm |