git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@6922
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
# wait_archive: wait until the archive gets defined into the right position
wait_archive() {
while [ ! -e ${SIMGRID_BASEDIR}/${version}.tar.gz ] ; do
# 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
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"
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() {
# open_archive: wait for archive to be built, cleanup previous
open_archive() {
clean_node
wait_archive
cd $BUILDDIR/..
clean_node
wait_archive
cd $BUILDDIR/..