fix shell compatibility (bash)
authorrobs <robs>
Wed, 21 Nov 2001 16:32:55 +0000 (16:32 +0000)
committerrobs <robs>
Wed, 21 Nov 2001 16:32:55 +0000 (16:32 +0000)
commitf93c07ddf4f3a4d51461edd1ceb27114f5c45d5b
tree5c6a9d244a8418af27feec7c4932e202b3bf5662
parent6a149ad6d2c1dab5a78373e46b96b22093c6a8b2
fix shell compatibility (bash)
configure.in