1.1 --- a/scripts/addToolVersion.sh Sat Jan 02 00:15:19 2010 +0100
1.2 +++ b/scripts/addToolVersion.sh Wed Jan 06 18:30:51 2010 +0100
1.3 @@ -18,7 +18,7 @@
1.4 'tool' in one of:
1.5 --gcc, --binutils, --glibc, --eglibc, --uClibc, --linux,
1.6 --gdb, --dmalloc, --duma, --strace, --ltrace, --libelf
1.7 - --gmp, --mpfr, --ppl, --cloog
1.8 + --gmp, --mpfr, --ppl, --cloog, --mpc
1.9
1.10 Valid options for all tools:
1.11 --stable, -s, +x (default)
1.12 @@ -146,6 +146,7 @@
1.13 --mpfr) EXP=; OBS=; cat=MPFR; tool=mpfr; tool_prefix=companion_libs;;
1.14 --ppl) EXP=; OBS=; cat=PPL; tool=ppl; tool_prefix=companion_libs;;
1.15 --cloog) EXP=; OBS=; cat=CLOOG; tool=cloog; tool_prefix=companion_libs;;
1.16 + --mpc) EXP=; OBS=; cat=MPC; tool=mpc; tool_prefix=companion_libs;;
1.17
1.18 # Tools options:
1.19 -x|--experimental|+s) EXP=1;;