summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-03-29 21:37:29 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-03-29 21:37:29 (GMT)
commit75646b1ea4534d0c26917d7d701f84a474102dfc (patch)
tree32f3eedb8b7f8b0594aef492debe5101f4b4f1fc
parentd747e1a88788fb4a9c72f612296a863c9cf932b7 (diff)
scripts/addToolsVersion: fix handling libelf
libelf has moved to the companion libraries section, and is no longer in the tools section.
-rwxr-xr-xscripts/addToolVersion.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/addToolVersion.sh b/scripts/addToolVersion.sh
index 9cb650c..42de00f 100755
--- a/scripts/addToolVersion.sh
+++ b/scripts/addToolVersion.sh
@@ -158,12 +158,12 @@ while [ $# -gt 0 ]; do
--duma) EXP=; OBS=; cat=DUMA; tool=duma; tool_prefix=debug;;
--strace) EXP=; OBS=; cat=STRACE; tool=strace; tool_prefix=debug;;
--ltrace) EXP=; OBS=; cat=LTRACE; tool=ltrace; tool_prefix=debug;;
- --libelf) EXP=; OBS=; cat=LIBELF; tool=libelf; tool_prefix=tools;;
--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;;
--mpc) EXP=; OBS=; cat=MPC; tool=mpc; tool_prefix=companion_libs;;
+ --libelf) EXP=; OBS=; cat=LIBELF; tool=libelf; tool_prefix=companion_libs;;
# Tools options:
-x|--experimental|+s) EXP=1;;