#! /bin/sh
# This file was generated automatically by configure. Don't edit.
# Run this file to recreate the current configuration.
#
# This script is free software: you have unlimited permission
# to copy, distribute and modify it.

exec /bin/sh ./configure  "--build=x86_64-redhat-linux-gnu" "--host=x86_64-redhat-linux-gnu" "--program-prefix=" "--disable-dependency-tracking" "--prefix=/usr" "--exec-prefix=/usr" "--bindir=/usr/bin" "--sbindir=/usr/sbin" "--sysconfdir=/etc" "--datadir=/usr/share" "--includedir=/usr/include" "--libdir=/usr/lib64" "--libexecdir=/usr/libexec" "--localstatedir=/var" "--sharedstatedir=/var/lib" "--mandir=/usr/share/man" "--infodir=/usr/share/info" --no-create