summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
369ecd9)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@6924
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
make_dist() {
get_version
if [ ! -e ${SIMGRID_BASEDIR}/${version}.tar.gz ] ; then
make_dist() {
get_version
if [ ! -e ${SIMGRID_BASEDIR}/${version}.tar.gz ] ; then
echo "rebuild the missing files for compilation"
echo "rebuild the missing files for compilation"
- ./bootstrap && ./configure --enable-maintainer-mode --disable-compile-optimizations
+ if [ ! -e configure ] ; then
+ ./bootstrap
+ fi
+ if [ ! -e Makefile ] ; then
+ # Disable compilation optim to make it built faster
+ ./configure --enable-maintainer-mode --disable-compile-optimizations
+ fi
echo "Make the archive"
make all dist
echo "Make the archive"
make all dist