if [ "${srcdir}" = "." ] ; then | |
if [ "${with_target_subdir}" != "." ] ; then | |
topsrcdir=${with_multisrctop}../../.. | |
else | |
topsrcdir=${with_multisrctop}../.. | |
fi | |
else | |
topsrcdir=${srcdir}/../.. | |
fi | |
if [ -d ${topsrcdir}/gcc ] ; then | |
echo " | |
check: | |
check-old: ${CHECK}" >>Makefile | |
else | |
echo " | |
check: ${CHECK}" >>Makefile | |
fi |