comparison configure.in @ 102216:7810e6d3d133

Modify for barebin distribution, as undumped distribution no longer exists.
author Jason Rumney <jasonr@gnu.org>
date Mon, 23 Feb 2009 12:31:55 +0000
parents 1a5557b25a55
children 9688587d3982
comparison
equal deleted inserted replaced
102215:00f11ed06c0d 102216:7810e6d3d133