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)";;