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