1.1 --- a/scripts/addToolVersion.sh	Tue May 05 22:04:20 2009 +0000
     1.2 +++ b/scripts/addToolVersion.sh	Sun Aug 02 20:06:44 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;;