From 9557174f24fda463f982f22a95d0ed556ec9a770 Mon Sep 17 00:00:00 2001
From: Jean-Paul Chaput <Jean-Paul.Chaput@lip6.fr>
Date: Wed, 25 Aug 2010 12:18:29 +0000
Subject: [PATCH] Try to be consistent, rename utilitarians from Caiman to
 Mangrove.

---
 bootstrap/{buildCaiman.py => buildMangrove.py}       | 0
 bootstrap/{runBuildCaiman.sh => runBuildMangrove.sh} | 3 ++-
 2 files changed, 2 insertions(+), 1 deletion(-)
 rename bootstrap/{buildCaiman.py => buildMangrove.py} (100%)
 rename bootstrap/{runBuildCaiman.sh => runBuildMangrove.sh} (80%)

diff --git a/bootstrap/buildCaiman.py b/bootstrap/buildMangrove.py
similarity index 100%
rename from bootstrap/buildCaiman.py
rename to bootstrap/buildMangrove.py
diff --git a/bootstrap/runBuildCaiman.sh b/bootstrap/runBuildMangrove.sh
similarity index 80%
rename from bootstrap/runBuildCaiman.sh
rename to bootstrap/runBuildMangrove.sh
index 44f61f45..6f8331eb 100755
--- a/bootstrap/runBuildCaiman.sh
+++ b/bootstrap/runBuildMangrove.sh
@@ -7,8 +7,9 @@
 
  export CORIOLIS_TOP=/asim/coriolis2
  export MANGROVE_TOP=/asim/mangrove
+ rootDir=${HOME}/mangrove
 
- ${HOME}/mangrove/src/bootstrap/buildCaiman.py \
+ ${rootDir}/src/bootstrap/buildMangrove.py \
      --root=${HOME}/checkout \
      --project=mangrove      \
      --project=caiman        \