buildDoc.sh : Added trap for the progress bar

This commit is contained in:
Benjamin Renard 2010-04-21 14:17:13 +02:00
parent de452ac62e
commit 133027e9bc

View file

@ -17,13 +17,21 @@ cd $ROOT_DIR/doc
make clean >> $LOG_FILE 2>&1 make clean >> $LOG_FILE 2>&1
make >> $LOG_FILE 2>&1 & make >> $LOG_FILE 2>&1 &
PID=$! export P=$!
while [ -d /proc/$PID ]
trap exitwhell INT
function exitwhell() {
kill -9 $P 2> /dev/null
echo " -- INT -- "
}
while [ -d /proc/$P ]
do do
echo -n . echo -n .
sleep 1 sleep 1
done done
echo done. echo done.
kill -9 $PID 2> /dev/null