2 # This script waits that the make_dist script finishes building the right archive in ~/simgrid
3 # and then builds it using the autotools
5 if [ -e ~/simgrid-svn/buildtools/scripts/simgrid_build.conf ] ; then
6 source ~/simgrid-svn/buildtools/scripts/simgrid_build.conf
8 source ~/.simgrid_build.conf
12 if [ ! -e Makefile ] ; then