upgradeFromGit.sh : Added progress bar during documentation build.

This commit is contained in:
Benjamin Renard 2010-04-21 14:18:43 +02:00
parent 133027e9bc
commit 486782e33f

View file

@ -240,14 +240,27 @@ then
if [ "$a" == "y" -o "$a" == "Y" ]
then
msg "-> Build the doc : " -en
cd $ROOT_DIR/doc >> $LOG_FILE 2>&1 && make >> $LOG_FILE 2>&1 && cd - >> $LOG_FILE 2>&1
if [ $? -gt 0 ]
then
msg "Error"
cd $ROOT_DIR/doc
make clean >> $LOG_FILE 2>&1
make >> $LOG_FILE 2>&1 &
export P=$!
trap exitwhell INT
function exitwhell() {
[ -n "$P" ] && kill -9 $P 2> /dev/null
echo " -- INT -- "
exit 1
else
msg "Ok"
fi
}
while [ -d /proc/$P ]
do
echo -n .
sleep 1
done
echo done.
if [ -n "$EXPORT_DOC_DIR" ]
then