diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-12-08T22·14+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-12-08T22·14+0000 |
| commit | eb268a7f959ff558fcbb72f2c2c3b3c3df97eb6a (patch) | |
| tree | b68cc8bb99447672552db84924a1ecae6a8cadfd | |
| parent | dfffd9256813701e64685227bdfb75f0a694c70d (diff) | |
* Apply the patch.
| -rw-r--r-- | externals/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am index d4a5189f9e55..05f9ddea6245 100644 --- a/externals/Makefile.am +++ b/externals/Makefile.am @@ -11,6 +11,7 @@ $(DB).tar.gz: $(DB): $(DB).tar.gz gunzip < $(DB).tar.gz | tar xvf - + cd $(DB) && patch -p1 < ../register.patch have-db: $(MAKE) $(DB) |