X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fruntime%2Fruntime.c;h=b84d6aff34a087dd84f52cf2b9e81b50eb224b0f;hb=77bb7c43dae7507aacae795af427548cb4616bc8;hp=139657390e677b9442d2afaef966f68dea5862ea;hpb=7976926f8112b708d5927a69923cf7a3dd003c55;p=sbcl.git

diff --git a/src/runtime/runtime.c b/src/runtime/runtime.c
index 1396573..b84d6af 100644
--- a/src/runtime/runtime.c
+++ b/src/runtime/runtime.c
@@ -452,6 +452,15 @@ main(int argc, char *argv[], char *envp[])
                 end_runtime_options = 1;
                 ++argi;
                 break;
+            } else if (0 == strcmp(arg, "--merge-core-pages")) {
+                ++argi;
+                merge_core_pages = 1;
+            } else if (0 == strcmp(arg, "--no-merge-core-pages")) {
+                ++argi;
+                merge_core_pages = 0;
+            } else if (0 == strcmp(arg, "--default-merge-core-pages")) {
+                ++argi;
+                merge_core_pages = -1;
             } else {
                 /* This option was unrecognized as a runtime option,
                  * so it must be a toplevel option or a user option,