git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@6348
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
;;
"-platform")
PLATFORM="$2"
+ if [ ! -f ${PLATFORM} ]; then
+ echo "[$0] ** error: the file '${PLATFORM}' does not exist. Aborting."
+ exit 1
+ fi
shift 2
;;
"-hostfile")
HOSTFILE="$2"
+ if [ ! -f ${HOSTFILE} ]; then
+ echo "[$0] ** error: the file '${HOSTFILE}' does not exist. Aborting."
+ exit 1
+ fi
shift 2
;;
EXEC="$1"
shift
+##-----------------------------------
+
+
+
+
##-------------------------------- DEFAULT or SPECIFIED PLATFORM --------------------------------------
if [ -z "${PLATFORM}" ]; then
PLATFORMTMP="$(mktemp tmpXXXXXX)"