Running ranlib after renaming/copying the library.
authorMatthias Heil <heil@ipd.info.uni-karlsruhe.de>
Fri, 15 Oct 2004 10:19:57 +0000 (10:19 +0000)
committerMatthias Heil <heil@ipd.info.uni-karlsruhe.de>
Fri, 15 Oct 2004 10:19:57 +0000 (10:19 +0000)
commit34021c4129879e5f979f6736643e1e42a558471b
tree8c3f8d8afcb1f2352f906cd42642ed979486fadb
parentb25cb23de3bdcee22a7aa25dbdfbaedf8ce7e0d8
Running ranlib after renaming/copying the library.
This improves compatibility with some systems.

[r4130]
MakeTargets
Makefile.in