X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Fruntime.c;h=79dbcbf0e956ead73f30515116a0694c53bfbce0;hb=ee222567ee95eaac8f6f4c877242dd116bfb8337;hp=02898e3d16d0b7959339fbfcb4dd564949731242;hpb=f691243c787fb7a06091807a1297a130eb561b2a;p=sbcl.git diff --git a/src/runtime/runtime.c b/src/runtime/runtime.c index 02898e3..79dbcbf 100644 --- a/src/runtime/runtime.c +++ b/src/runtime/runtime.c @@ -219,6 +219,7 @@ main(int argc, char *argv[], char *envp[]) /* other command line options */ boolean noinform = 0; + char *script = 0; boolean end_runtime_options = 0; lispobj initial_function; @@ -235,7 +236,15 @@ main(int argc, char *argv[], char *envp[]) int argi = 1; while (argi < argc) { char *arg = argv[argi]; - if (0 == strcmp(arg, "--noinform")) { + if (0 == strcmp(arg, "--script")) { + /* This is both a runtime and a toplevel option. As a + * runtime option, it is equivalent to --noinform. + * This exits, and does not increment argi, so that + * TOPLEVEL-INIT sees the option. */ + noinform = 1; + end_runtime_options = 1; + break; + } else if (0 == strcmp(arg, "--noinform")) { noinform = 1; ++argi; } else if (0 == strcmp(arg, "--core")) {