commit | 12cf89b550d13eb7cb86ef182bd6c04345a33a1f | [log] [tgz] |
---|---|---|
author | Josh Poimboeuf <jpoimboe@redhat.com> | Tue Feb 03 16:45:18 2015 -0600 |
committer | Jiri Kosina <jkosina@suse.cz> | Wed Feb 04 11:25:51 2015 +0100 |
tree | 1836f4d7130559031079b7b611a67127b304dc50 | |
parent | dbed7ddab967550d1181633e8ac7905808f29a94 [diff] |
livepatch: rename config to CONFIG_LIVEPATCH Rename CONFIG_LIVE_PATCHING to CONFIG_LIVEPATCH to make the naming of the config and the code more consistent. Signed-off-by: Josh Poimboeuf <jpoimboe@redhat.com> Reviewed-by: Jingoo Han <jg1.han@samsung.com> Signed-off-by: Jiri Kosina <jkosina@suse.cz>