diff options
| author | Josh Poimboeuf <jpoimboe@redhat.com> | 2015-02-03 16:45:18 -0600 |
|---|---|---|
| committer | Jiri Kosina <jkosina@suse.cz> | 2015-02-04 11:25:51 +0100 |
| commit | 12cf89b550d13eb7cb86ef182bd6c04345a33a1f (patch) | |
| tree | 1836f4d7130559031079b7b611a67127b304dc50 /kernel/livepatch/Makefile | |
| 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>
Diffstat (limited to 'kernel/livepatch/Makefile')
| -rw-r--r-- | kernel/livepatch/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/livepatch/Makefile b/kernel/livepatch/Makefile index 7c1f00861428..e8780c0901d9 100644 --- a/kernel/livepatch/Makefile +++ b/kernel/livepatch/Makefile @@ -1,3 +1,3 @@ -obj-$(CONFIG_LIVE_PATCHING) += livepatch.o +obj-$(CONFIG_LIVEPATCH) += livepatch.o livepatch-objs := core.o |