diff --git a/scripts/tools.sh b/scripts/tools.sh new file mode 100644 index 0000000..40bc794 --- /dev/null +++ b/scripts/tools.sh @@ -0,0 +1,126 @@ +#!/bin/sh + +# build info + +WHO=$(whoami) +WHERE=$(hostname) +ARCH=$(uname -m) +OS=$(uname -o) + +cat < /dev/null 2>&1 + then + M68K_CROSS_COMPILE=m68k-linux-gnu- + if ! type "${M68K_CROSS_COMPILE}gcc" > /dev/null 2>&1 + then + echo "Cannot find m68k cross-compiler" 1>&2 + exit 1 + fi + fi + M68K_GCC_VERSION=$(${M68K_CROSS_COMPILE}gcc -dumpversion 2> /dev/null) + echo "cross-compiler is ${M68K_CROSS_COMPILE}gcc ${M68K_GCC_VERSION}" 1>&2 +fi + +cat < /dev/null 2>&1 + then + PPC_CROSS_COMPILE=powerpc-linux-gnu- + if ! type "${PPC_CROSS_COMPILE}gcc" > /dev/null 2>&1 + then + echo "Cannot find powerpc cross-compiler" 1>&2 + exit 0 + fi + fi + PPC_GCC_VERSION=$(${PPC_CROSS_COMPILE}gcc -dumpversion 2> /dev/null) + echo "cross-compiler is ${PPC_CROSS_COMPILE}gcc ${PPC_GCC_VERSION}" 1>&2 +fi + +cat < /dev/null 2>&1 +then +cat < \$@ +!EOF +else +if type ${docbook-to-man} > /dev/null 2>&1 +then +cat <