diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-01-06 17:30:51 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-01-06 17:30:51 (GMT) |
| commit | 90a54f50beb42c684a5544ea09965b09ed9343c6 (patch) | |
| tree | d72cecb343ffdb1e629bf0d20979e67a547bc06d | |
| parent | f0b5c37abf28eebfdb6abc5773bec630e957fa48 (diff) | |
scripts/addToolsVersion: add support for MPC
| -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 d071cef..e26e5ab 100755 --- a/scripts/addToolVersion.sh +++ b/scripts/addToolVersion.sh @@ -18,7 +18,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, --cloog + --gmp, --mpfr, --ppl, --cloog, --mpc Valid options for all tools: --stable, -s, +x (default) @@ -146,6 +146,7 @@ while [ $# -gt 0 ]; do --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;; + --mpc) EXP=; OBS=; cat=MPC; tool=mpc; tool_prefix=companion_libs;; # Tools options: -x|--experimental|+s) EXP=1;; |