2
# This file was generated automatically by configure. Do not edit.
3
# Run this file to recreate the current configuration.
5
# This script is free software: you have unlimited permission
6
# to copy, distribute and modify it.
8
exec /bin/sh ./configure --no-create