X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/85e1d2c205ca99512b48bceca0f16677a401e233..4d9809aa64447811ca65a1242d4f9e07972c6472:/src/smpi/smpirun.in diff --git a/src/smpi/smpirun.in b/src/smpi/smpirun.in index b8daa19e35..5b2b05350a 100755 --- a/src/smpi/smpirun.in +++ b/src/smpi/smpirun.in @@ -1,6 +1,6 @@ #!/usr/bin/env sh -# Copyright (c) 2007-2016, The SimGrid Team. All rights reserved. +# Copyright (c) 2007-2018. The SimGrid Team. All rights reserved. # This program is free software; you can redistribute it and/or modify it # under the terms of the license (GNU LGPL) which comes with this package. @@ -255,7 +255,7 @@ while [ $# -gt 0 ]; do ;; *) PROC_ARGS="${PROC_ARGS:+$PROC_ARGS }$1" - shift + shift ;; esac done @@ -270,19 +270,21 @@ if [ -z "${HOSTFILE}" ] ; then HOSTFILETMP=1 HOSTFILE="$(mktemp smpitmp-hostfXXXXXX)" perl -ne 'print "$1\n" if /.*.*/' ${PLATFORM} > ${HOSTFILE} - perl -ne 'if (/.*> ${HOSTFILE} fi UNROLLEDHOSTFILETMP=0 @@ -321,7 +323,7 @@ if [ -z "${PLATFORM}" ]; then cat > ${PLATFORMTMP} < - + PLATFORMHEAD @@ -363,7 +365,7 @@ APPLICATIONTMP="$(mktemp smpitmp-appXXXXXX)" cat > ${APPLICATIONTMP} < - + APPLICATIONHEAD @@ -386,7 +388,7 @@ fi ##---------------------------------------------------------- ## generate application.xml with hostnames from hostfile: -## the name of host_i (1<=i<=p, where -np p) is the line i in hostfile (where -hostfile hostfile), or "host$i" if +## the name of host_i (1<=i<=p, where -np p) is the line i in hostfile (where -hostfile hostfile), or "host$i" if ## hostfile has less than i lines. ##---------------------------------------------------------- @@ -422,15 +424,15 @@ do fi echo " - - " >> ${APPLICATIONTMP} + + " >> ${APPLICATIONTMP} if [ ${REPLAY} = 1 ]; then if [ ${NUMTRACES} -gt 1 ]; then echo " " >> ${APPLICATIONTMP} else echo " " >> ${APPLICATIONTMP} fi - else + else echo ${XML_ARGS} >> ${APPLICATIONTMP} fi echo " " >> ${APPLICATIONTMP} @@ -480,7 +482,7 @@ if [ -n "${KEEP}" ] ; then echo "Generated hostfile ${HOSTFILE} kept." fi if [ ${UNROLLEDHOSTFILETMP} = 1 ] ; then - echo "Generated unrolled hostfile ${UNROLLEDHOSTFILE} kept." + echo "Generated unrolled hostfile ${UNROLLEDHOSTFILE} kept." fi fi @@ -500,6 +502,12 @@ pid=$! exec 3>&- wait $pid status=$? +# With dash on Windows WSL/Ubuntu, "wait" sometimes returns early with an exit +# status of 128. Try again. +while test $status -eq 128 && kill -0 $pid 2>/dev/null; do + wait $pid + status=$? +done pid="" # Keep temporary files on failures to help debugging