scripts/showSamples.sh
changeset 807 71241c4f09e1
parent 750 0cbd1eb86f68
child 822 04a1937d5f0b
     1.1 --- a/scripts/showSamples.sh	Tue Jul 29 16:48:20 2008 +0000
     1.2 +++ b/scripts/showSamples.sh	Mon Aug 25 21:42:34 2008 +0000
     1.3 @@ -30,6 +30,9 @@
     1.4          echo ")"
     1.5          if [ ${verbose} -ne 0 ]; then
     1.6              echo    "    OS        : ${CT_KERNEL}-${CT_KERNEL_VERSION}"
     1.7 +            if [ "${CT_GMP_MPFR}" = "y" ]; then
     1.8 +                echo    "    GMP/MPFR  : gmp-${CT_GMP_VERSION} / mpfr-${CT_MPFR_VERSION}"
     1.9 +            fi
    1.10              echo    "    binutils  : binutils-${CT_BINUTILS_VERSION}"
    1.11              printf  "    C compiler: ${CT_CC}-${CT_CC_VERSION} (C"
    1.12              [ "${CT_CC_LANG_CXX}" = "y"     ] && printf ",C++"