474a475
> executable(params->executable),
531,533c532,538
< string executable =
< params->executable == "" ? params->cmd[0] : params->executable;
< ObjectFile *objFile = createObjectFile(executable);
---
> // If not specified, set the executable parameter equal to the
> // simulated system's zeroth command line parameter
> if (params->executable == "") {
> params->executable = params->cmd[0];
> }
>
> ObjectFile *objFile = createObjectFile(params->executable);
535c540
< fatal("Can't load object file %s", executable);
---
> fatal("Can't load object file %s", params->executable);