From c4399244e3d118343efd1d933c6f4ef13f532dda Mon Sep 17 00:00:00 2001
From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Tue, 22 Dec 2009 15:48:34 +0000
Subject: [PATCH] fix some glitches in make_dist.sh

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@6915 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 buildtools/Cmake/make_dist.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 mode change 100644 => 100755 buildtools/Cmake/make_dist.sh

diff --git a/buildtools/Cmake/make_dist.sh b/buildtools/Cmake/make_dist.sh
old mode 100644
new mode 100755
index 26cf404a53..073bc7f92d
--- a/buildtools/Cmake/make_dist.sh
+++ b/buildtools/Cmake/make_dist.sh
@@ -1,5 +1,8 @@
 #!/bin/bash
 
+# fail fast on errors
+set -e
+
 # This script creates a new dist archive from the svn
 source cmake_simgrid.conf
 
@@ -10,6 +13,9 @@ echo "update the svn"
 cd ${SIMGRID_SVN_ROOT}
 svn up
 
+set -x # be verbose
+
+
 echo "rebuild the missing files for compilation"
 ./bootstrap
 ./configure --enable-maintainer-mode --disable-compile-optimizations
@@ -18,6 +24,7 @@ echo "Make the archive"
 make all dist
 
 echo "Copy the archive in position"
+mkdir -p ${SIMGRID_BASEDIR}
 mv simgrid*.tar.gz ${SIMGRID_BASEDIR}
 
 echo "Done!"
-- 
2.20.1