diff -r 5549e686d6ac -r d14ddb1df52c etc/options
--- a/etc/options	Sun Aug 25 22:17:24 2019 +0200
+++ b/etc/options	Mon Aug 26 20:01:28 2019 +0200
@@ -216,6 +216,9 @@
 option headless_commit_cleanup_delay : real = 60
   -- "delay for cleanup of already imported theories (seconds, 0 = disabled)"
 
+option execution_eager : bool = false
+  -- "prefer theories with shorter stack of decendants"
+
 
 section "Miscellaneous Tools"