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 /samples/livepatch | |
| 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 'samples/livepatch')
| -rw-r--r-- | samples/livepatch/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/samples/livepatch/Makefile b/samples/livepatch/Makefile index 7f1cdc131a02..10319d7ea0b1 100644 --- a/samples/livepatch/Makefile +++ b/samples/livepatch/Makefile @@ -1 +1 @@ -obj-$(CONFIG_SAMPLE_LIVE_PATCHING) += livepatch-sample.o +obj-$(CONFIG_SAMPLE_LIVEPATCH) += livepatch-sample.o |