steve 3d195cb397 Revert previous commit. It broke 'make world' with NOSHARED=yes because
it was using the wrong library.

Submitted by:	bde
1999-04-25 17:53:36 +00:00
..