diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-02-01 16:49:52 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-02-01 16:49:52 +0000 |
| commit | d9d6ff9f8eb4269bb697912154ef9d6d96ab1481 (patch) | |
| tree | bbb50e03b77f10705ba60af9dac4991b2d6f6ff7 /externals | |
| parent | 8291f6d96845163850a2451fff4a03a292fa71b6 (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 2f8fc5698..dcddaa5d1 100644 --- a/externals/Makefile.am +++ b/externals/Makefile.am @@ -66,7 +66,7 @@ endif all: build-db build-aterm -EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.gz register.patch +EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.gz ext-clean: $(RM) -f have-db build-db have-aterm build-aterm |