diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-06-17 10:32:01 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-06-17 10:32:01 (GMT) |
commit | f7535c2f62b1e0eb45ae222575d691a104b63d7b (patch) | |
tree | 1e3b3bf02257769cbd7232dfba53d073c83232f6 /scripts/addToolVersion.sh | |
parent | 221701baf79454469f11789c9046fac5ca1f90c2 (diff) | |
parent | 302dd084c2e782ea5fdbde1db9f1b2bcda5ac83f (diff) |
Merge the gcc-4.4 support.
Diffstat (limited to 'scripts/addToolVersion.sh')
-rwxr-xr-x | scripts/addToolVersion.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/addToolVersion.sh b/scripts/addToolVersion.sh index 8e0446e..337c656 100755 --- a/scripts/addToolVersion.sh +++ b/scripts/addToolVersion.sh @@ -13,7 +13,7 @@ Usage: ${myname} <tool> <[options] version [...]> ... 'tool' in one of: --gcc, --binutils, --glibc, --eglibc, --uClibc, --linux, --gdb, --dmalloc, --duma, --strace, --ltrace, --libelf - --gmp, --mpfr, --ppl + --gmp, --mpfr, --ppl, --cloog Valid options for all tools: --stable, -s, +x (default) @@ -134,6 +134,7 @@ while [ $# -gt 0 ]; do --gmp) EXP=; OBS=; cat=GMP; tool=gmp; tool_prefix=companion_libs;; --mpfr) EXP=; OBS=; cat=MPFR; tool=mpfr; tool_prefix=companion_libs;; --ppl) EXP=; OBS=; cat=PPL; tool=ppl; tool_prefix=companion_libs;; + --cloog) EXP=; OBS=; cat=CLOOG; tool=cloog; tool_prefix=companion_libs;; # Tools options: -x|--experimental|+s) EXP=1;; |