diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2016-12-22 16:39:20 +0100 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2017-01-16 17:52:35 +0100 |
| commit | a15215f3e186b3080c23aaf2f6b049c52240a03c (patch) | |
| tree | 45ad53ae9d395bc06be7d5181b451d2bf8dd8e67 /stubs/Makefile.objs | |
| parent | d6da1e9eca939e8f9d41639be17c4bf5af7d5625 (diff) | |
build: remove --enable-colo/--disable-colo
No need to provide this knob, so remove it and stubs/migration-colo.c.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'stubs/Makefile.objs')
| -rw-r--r-- | stubs/Makefile.objs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/stubs/Makefile.objs b/stubs/Makefile.objs index e863d9aae8..a7d3b72501 100644 --- a/stubs/Makefile.objs +++ b/stubs/Makefile.objs @@ -36,4 +36,3 @@ stub-obj-y += qmp_pc_dimm_device_list.o stub-obj-y += target-monitor-defs.o stub-obj-y += target-get-monitor-def.o stub-obj-y += pc_madt_cpu_entry.o -stub-obj-y += migration-colo.o |