-
- echo Now downloading GDB...
- wget ${WGET_OPTS} ${GDB}
- wget -N ${WGET_OPTS} ${GDB}.sig
- gpg --verify ${GDB_TAR}.sig 2> /dev/null
- if [[ $? != 0 ]]; then
- echo "Failed signature check for:" ${GDB_TAR}.sig
- exit 1
- fi
-
- echo Now downloading GMP...
- wget ${WGET_OPTS} ${GMP}
- wget -N ${WGET_OPTS} ${GMP}.sig
- gpg --verify ${GMP_TAR}.sig 2> /dev/null
- if [[ $? != 0 ]]; then
- echo "Failed signature check for:" ${GMP_TAR}.sig
- exit 1
- fi
-
- echo Now downloading MPFR...
- wget ${WGET_OPTS} ${MPFR}
- wget -N ${WGET_OPTS} ${MPFR}.sig
- gpg --verify ${MPFR_TAR}.sig 2> /dev/null
- if [[ $? != 0 ]]; then
- echo "Failed signature check for:" ${MPFR_TAR}.sig
- exit 1
- fi
+ download_signed_lib GDB ${GDB} ${GDB_TAR} || exit 1
+ download_signed_lib GMP ${GMP} ${GMP_TAR} || exit 1
+ download_signed_lib MPFR ${MPFR} ${MPFR_TAR} || exit 1