diff options
Diffstat (limited to 'sim/sh')
| -rw-r--r-- | sim/sh/run.c | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/sim/sh/run.c b/sim/sh/run.c index 337218d..00b5309 100644 --- a/sim/sh/run.c +++ b/sim/sh/run.c @@ -36,7 +36,6 @@ main (ac, av) int verbose = 0; int trace = 0; char *name = ""; - sim_set_timeout(10000000); for (i = 1; i < ac; i++) { @@ -52,18 +51,12 @@ main (ac, av) { sim_set_profile(atoi(av[i+1])); i++; - } else if (strcmp (av[i], "-s") == 0) { sim_set_profile_size(atoi(av[i+1])); i++; } - else if (strcmp (av[i], "-k") == 0) - { - sim_set_timeout(atoi(av[i+1])); - i++; - } else if (strcmp (av[i], "-m") == 0) { sim_size(atoi(av[i+1])); |