- fi
- shift 2
- ;;
-
- "-ext")
- EXTOPT="$2"
- shift 2
- ;;
-
- "-map")
- MAPOPT="true"
- shift 1
- ;;
-
- "-trace")
- TRACE_ACTIVE="true"
- shift 1
- ;;
-
- "-trace-ti")
- TRACE_ACTIVE="true"
- TRACE_TI_ACTIVE="true"
- shift 1
- ;;
-
- "-trace-comment")
- TRACE_COMMENT="$2"
- shift 2
- ;;
-
- "-trace-comment-file")
- TRACE_COMMENT_FILE="$2"
- shift 2
- ;;
-
- "-trace-file")
- TRACE_FILENAME="$2"
- shift 2
- ;;
-
- "-trace-grouped")
- TRACE_GROUPED="true"
- shift 1
- ;;
-
- "-trace-resource")
- TRACE_RESOURCE="true"
- shift 1
- ;;
-
- "-trace-viva")
- TRACE_VIVA="true"
- shift 1
- ;;
-
- "-keep-temps")
- KEEP="true"
- shift 1
- ;;
-
- "-wrapper")
- WRAPPER="$2"
- shift 2
- ;;
-
- "-help" | "--help" | "-h")
- usage
- exit
- ;;
-
- "--cfg="*|"--log="*)
- for OPT in ${1#*=}
- do
- SIMOPTS="$SIMOPTS ${1%%=*}=$OPT"
- done
- shift 1
- ;;
- *)
- break
- ;;
- esac
+ fi
+ shift 2
+ ;;
+ "-hostfile")
+ HOSTFILE="$2"
+ if [ ! -f "${HOSTFILE}" ]; then
+ echo "[`basename $0`] ** error: the file '${HOSTFILE}' does not exist. Aborting."
+ exit 1
+ fi
+ shift 2
+ ;;
+ "-machinefile")
+ HOSTFILE="$2"
+ if [ ! -f "${HOSTFILE}" ]; then
+ echo "[`basename $0`] ** error: the file '${HOSTFILE}' does not exist. Aborting."
+ exit 1
+ fi
+ shift 2
+ ;;
+ "-ext")
+ EXTOPT="$2"
+ shift 2
+ ;;
+ "-map")
+ MAPOPT="true"
+ shift 1
+ ;;
+ "-trace")
+ TRACE_ACTIVE="true"
+ shift 1
+ ;;
+ "-trace-ti")
+ TRACE_ACTIVE="true"
+ TRACE_TI_ACTIVE="true"
+ shift 1
+ ;;
+ "-trace-comment")
+ TRACE_COMMENT="$2"
+ shift 2
+ ;;
+ "-trace-comment-file")
+ TRACE_COMMENT_FILE="$2"
+ shift 2
+ ;;
+ "-trace-file")
+ TRACE_FILENAME="$2"
+ shift 2
+ ;;
+ "-trace-grouped")
+ TRACE_GROUPED="true"
+ shift 1
+ ;;
+ "-trace-resource")
+ TRACE_RESOURCE="true"
+ shift 1
+ ;;
+ "-trace-viva")
+ TRACE_VIVA="true"
+ shift 1
+ ;;
+ "-keep-temps")
+ KEEP="true"
+ shift 1
+ ;;
+ "-wrapper")
+ WRAPPER="$2"
+ shift 2
+ ;;
+ "-help" | "--help" | "-h")
+ usage
+ exit 0
+ ;;
+ "-version" | "--version" | "-v")
+ printf '%b\n' "$SIMGRID_VERSION"
+ exit 0
+ ;;
+ "-git-version" | "--git-version")
+ printf '%b\n' "$SIMGRID_GITHASH"
+ exit 0
+ ;;
+ "--cfg="*|"--log="*)
+ for OPT in ${1#*=}
+ do
+ SIMOPTS="$SIMOPTS ${1%%=*}=$OPT"
+ done
+ shift 1
+ ;;
+ "-foreground")
+ # Nothing to do, compatibility.
+ shift 1
+ ;;
+ *)
+ break
+ ;;
+ esac