#!/usr/bin/bash
if [ -f /opt/autotools-gcc/bin/autoconf_ ]; then
  export AUTOCONF=/opt/autotools-gcc/bin/autoconf_
  export AUTOHEADER=/opt/autotools-gcc/bin/autoheader_
fi
export AUTOMAKE=/opt/autotools-gcc/bin/automake_
export ACLOCAL=/opt/autotools-gcc/bin/aclocal_
export AUTOM4TE=/opt/autotools-gcc/bin/autom4te_
name=${0##*/}
if [[ $name = *-1.15 ]]; then
  name=${name%-1.15}_-1.15
else
  name=${name}_
fi
exec /opt/autotools-gcc/bin/${name} "${@}"
