Update dot_measure to remove errors reported by kconfig2sat

diff --git a/dot_measure b/dot_measure
index fc221762fb2f45cbf06ed3e2e532496415a4fa81..cdce07b9ed6ca6c44fbbabc62327c064ae07bdde 100644 (file)
--- a/dot_measure
+++ b/dot_measure
@@ -1,7 +1,9 @@
 BLK_DEV_IO_TRACE
+CONSTRUCTORS
 DYNAMIC_FTRACE
 FREEZER
 FTRACE_MCOUNT_RECORD
+FTRACE_SELFTEST
 FTRACE_STARTUP_TEST
 FTRACE_SYSCALLS
 FUNCTION_GRAPH_TRACER
@@ -12,16 +14,12 @@ GENERIC_TRACER
 INTERRUPT_OFF_HIST
 IRQSOFF_TRACER
 IRQ_DOMAIN_DEBUG
-LZO_COMPRESS
-LZO_DECOMPRESS
 MISSED_TIMER_OFFSETS_HIST
 NO_HZ
-NO_HZ_COMMON
 PM
 PM_ADVANCED_DEBUG
 PM_CLK
 PM_DEBUG
-PM_RUNTIME
 PREEMPT_OFF_HIST
 PREEMPT_TRACER
 RING_BUFFER_ALLOW_SWAP