#!/bin/sh
# Generated automatically by configure.
# Run this file to recreate the current configuration.
configure