1.1 --- a/scripts/addToolVersion.sh Tue May 05 22:04:20 2009 +0000
1.2 +++ b/scripts/addToolVersion.sh Wed Jun 17 12:32:01 2009 +0200
1.3 @@ -13,7 +13,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
1.8 + --gmp, --mpfr, --ppl, --cloog
1.9
1.10 Valid options for all tools:
1.11 --stable, -s, +x (default)
1.12 @@ -134,6 +134,7 @@
1.13 --gmp) EXP=; OBS=; cat=GMP; tool=gmp; tool_prefix=companion_libs;;
1.14 --mpfr) EXP=; OBS=; cat=MPFR; tool=mpfr; tool_prefix=companion_libs;;
1.15 --ppl) EXP=; OBS=; cat=PPL; tool=ppl; tool_prefix=companion_libs;;
1.16 + --cloog) EXP=; OBS=; cat=CLOOG; tool=cloog; tool_prefix=companion_libs;;
1.17
1.18 # Tools options:
1.19 -x|--experimental|+s) EXP=1;;