2006-05-31 22:43:41 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
# $Id$
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
2006-06-01 23:08:49 +02:00
|
|
|
[[ -z $1 ]] && exit
|
|
|
|
|
2006-05-31 22:43:41 +02:00
|
|
|
if [ ! -f $1 ] ; then
|
2006-06-01 23:54:18 +02:00
|
|
|
while fuser -v . 2>&1 | grep make >/dev/null ; do
|
2006-06-01 23:09:55 +02:00
|
|
|
echo -n "."
|
2006-06-01 23:08:49 +02:00
|
|
|
sleep 1
|
2006-06-01 23:54:18 +02:00
|
|
|
[[ -f $1 ]] && exit
|
2006-06-01 23:08:49 +02:00
|
|
|
done
|
2006-05-31 22:43:41 +02:00
|
|
|
fi
|