From 75646b1ea4534d0c26917d7d701f84a474102dfc Mon Sep 17 00:00:00 2001 From: "Yann E. MORIN\"" Date: Mon, 29 Mar 2010 23:37:29 +0200 Subject: scripts/addToolsVersion: fix handling libelf libelf has moved to the companion libraries section, and is no longer in the tools section. 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;; -- cgit v0.10.2-6-g49f6