;;
"-version" | "--version" | "-v")
- echo -e $SIMGRID_VERSION
+ printf '%b\n' "$SIMGRID_VERSION"
exit 0
;;
# Don't use wc -l to compute it to avoid issues with trailing \n at EOF
hostfile_procs=`grep -c "[a-zA-Z0-9]" $HOSTFILE`
+if [ ${hostfile_procs} = 0 ] ; then
+ echo "[$0] ** error: the hostfile '${HOSTFILE}' is empty. Aborting." >&2
+ exit 1
+fi
if [ -z "${NUMPROCS}" ] ; then
# Use the amount of processes in the hostfile as default value for the -np parameter