# wait_archive: wait until the archive gets defined into the right position
wait_archive() {
while [ ! -e ${SIMGRID_BASEDIR}/${version}.tar.gz ] ; do
- echo ${SIMGRID_BASEDIR}/${version}.tar.gz not found. Wait one second.
- sleep 1
+ echo ${SIMGRID_BASEDIR}/${version}.tar.gz not found. Wait five seconds.
+ sleep 5
done
}
# make_dist: rebuild an archive from the svn
make_dist() {
get_version
- if [ ! -e ${SIMGRID_BASEDIR}/${version}.tar.gz ] ; do
+ if [ ! -e ${SIMGRID_BASEDIR}/${version}.tar.gz ] ; then
echo "rebuild the missing files for compilation"
./bootstrap && ./configure --enable-maintainer-mode --disable-compile-optimizations
echo "Make the archive"
# open_archive: wait for archive to be built, cleanup previous
open_archive() {
+ get_version
clean_node
wait_archive
cd $BUILDDIR/..