1.1 --- a/tools/addToolVersion.sh	Thu Apr 17 21:04:23 2008 +0000
     1.2 +++ b/tools/addToolVersion.sh	Wed Apr 30 10:43:41 2008 +0000
     1.3 @@ -9,6 +9,7 @@
     1.4    'tool' in one of:
     1.5      --gcc, --binutils, --glibc, --uClibc, --linux,
     1.6      --gdb, --dmalloc, --duma, --strace, --ltrace, --libelf
     1.7 +    --gmp, --mpfr
     1.8  
     1.9    Valid options for all tools:
    1.10      --experimental, -x
    1.11 @@ -55,6 +56,8 @@
    1.12          --strace)           cat=STRACE;    tool=strace;   tool_prefix=debug    tool_suffix=;;
    1.13          --ltrace)           cat=LTRACE;    tool=ltrace;   tool_prefix=debug    tool_suffix=;;
    1.14          --libelf)           cat=LIBELF;    tool=libelf;   tool_prefix=tools    tool_suffix=;;
    1.15 +        --gmp)              cat=GMP;       tool=gmp;      tool_prefix=cc;      tool_suffix=;;
    1.16 +        --mpfr)             cat=MPFR;      tool=mpfr;     tool_prefix=cc;      tool_suffix=;;
    1.17          # Tools options:
    1.18          -x|--experimental)  EXP=1; OBS=; prompt_suffix=" (EXPERIMENTAL)";;
    1.19          -o|--obsolete)      OBS=1; EXP=; prompt_suffix=" (OBSOLETE)";;