diff options
| -rwxr-xr-x | scripts/showSamples.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/showSamples.sh b/scripts/showSamples.sh index 5b336e2d..c27446ec 100755 --- a/scripts/showSamples.sh +++ b/scripts/showSamples.sh @@ -30,6 +30,9 @@ dump_single_sample() { echo ")" if [ ${verbose} -ne 0 ]; then echo " OS : ${CT_KERNEL}-${CT_KERNEL_VERSION}" + if [ "${CT_GMP_MPFR}" = "y" ]; then + echo " GMP/MPFR : gmp-${CT_GMP_VERSION} / mpfr-${CT_MPFR_VERSION}" + fi echo " binutils : binutils-${CT_BINUTILS_VERSION}" printf " C compiler: ${CT_CC}-${CT_CC_VERSION} (C" [ "${CT_CC_LANG_CXX}" = "y" ] && printf ",C++" |