diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-12-08 22:14:15 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-12-08 22:14:15 +0000 |
commit | eb268a7f959ff558fcbb72f2c2c3b3c3df97eb6a (patch) | |
tree | b68cc8bb99447672552db84924a1ecae6a8cadfd /externals/Makefile.am | |
parent | dfffd9256813701e64685227bdfb75f0a694c70d (diff) |
* Apply the patch.
Diffstat (limited to 'externals/Makefile.am')
-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 d4a5189f9..05f9ddea6 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) |