From 94b1dbce1ae20ded6b2e8cc519f56ac9e3b39b24 Mon Sep 17 00:00:00 2001
From: Ziv Scully <ziv@mit.edu>
Date: Thu, 19 Nov 2015 17:29:47 -0500
Subject: Add consolidation heuristic options.

---
 src/main.mlton.sml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/main.mlton.sml')

diff --git a/src/main.mlton.sml b/src/main.mlton.sml
index 3ae968b0..d3d88af9 100644
--- a/src/main.mlton.sml
+++ b/src/main.mlton.sml
@@ -162,6 +162,9 @@ fun oneRun args =
               | "-sqlcache" :: rest =>
                 (Settings.setSqlcache true;
                  doArgs rest)
+              | "-heuristic" :: h :: rest =>
+                (Settings.setSqlcacheHeuristic h;
+                 doArgs rest)
               | "-moduleOf" :: fname :: _ =>
                 (print (Compiler.moduleOf fname ^ "\n");
                  raise Code OS.Process.success)
-- 
cgit v1.2.3