#! /bin/sh dir=`dirname $0` patch -p1 -b --suffix .demangler < $dir/src-demangler-11.patch && \ true [ $? = 0 ] || exit 1 (cd demangler && sh ./bootstrap) [ $? = 0 ] || exit 1 (cd libiberty && rm -f configure && autoconf-2.13) [ $? = 0 ] || exit 1 rm -f configure && autoconf-2.13 && rm -f Makefile.in && autogen Makefile.def [ $? = 0 ] || exit 1