K 10
svn:author
V 4
kris
K 8
svn:date
V 27
2002-08-23T18:48:50.000000Z
K 7
svn:log
V 173
Force libtool script to be executed by /bin/sh, not "whatever shell
you are currently running", which doesn't work too well if it happens to
be e.g. csh.

Noticed by:	bento

END