From 90a54f50beb42c684a5544ea09965b09ed9343c6 Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
Date: Wed, 6 Jan 2010 18:30:51 +0100
Subject: scripts/addToolsVersion: add support for MPC


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;;
-- 
cgit v0.10.2-6-g49f6