disable stripping if "strip" not found
authorkramm <kramm>
Sun, 7 Jan 2007 20:33:40 +0000 (20:33 +0000)
committerkramm <kramm>
Sun, 7 Jan 2007 20:33:40 +0000 (20:33 +0000)
commitccec950c0c9c79e62473816c72b3e27be98567c8
treea5b4af6ec7e0f0091874a5526884b5948de6f277
parent7f237d6ab33b067711025e6d8f2d77b534dbe722
disable stripping if "strip" not found
configure.in