scripts/addToolVersion.sh
changeset 3159 fb71cad4b085
parent 3152 b286c7993be5
child 3214 374dfd876af2
     1.1 --- a/scripts/addToolVersion.sh	Thu Dec 27 12:45:22 2012 +0100
     1.2 +++ b/scripts/addToolVersion.sh	Thu Jan 10 00:27:13 2013 +0100
     1.3 @@ -189,6 +189,7 @@
     1.4          # Tools:
     1.5          --gcc)      EXP=; OBS=; cat=CC;             tool=gcc;       tool_prefix=cc;             dot2suffix=;;
     1.6          --binutils) EXP=; OBS=; cat=BINUTILS;       tool=binutils;  tool_prefix=binutils;       dot2suffix=;;
     1.7 +        --elf2flt)  EXP=; OBS=; cat=BINUTILS;       tool=binutils;  tool_prefix=binutils;       dot2suffix=.2;;
     1.8          --glibc)    EXP=; OBS=; cat=LIBC_GLIBC;     tool=glibc;     tool_prefix=libc;           dot2suffix=;;
     1.9          --eglibc)   EXP=; OBS=; cat=LIBC_EGLIBC;    tool=eglibc;    tool_prefix=libc;           dot2suffix=;;
    1.10          --uClibc)   EXP=; OBS=; cat=LIBC_UCLIBC;    tool=uClibc;    tool_prefix=libc;           dot2suffix=;;