# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1269898649 -7200
# Node ID d7787259005ec978ac958541f6aedf6574e0ac5b
# Parent  dfc2b3e07ea6ea0761fb91df7c3c7fcdc718cc5f
scripts/addToolsVersion: fix handling libelf

libelf has moved to the companion libraries section,
and is no longer in the tools section.

diff -r dfc2b3e07ea6 -r d7787259005e scripts/addToolVersion.sh
--- a/scripts/addToolVersion.sh	Tue Mar 30 22:30:41 2010 +0200
+++ b/scripts/addToolVersion.sh	Mon Mar 29 23:37:29 2010 +0200
@@ -158,12 +158,12 @@
         --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;;