On 01/24/2018 08:59 AM, Don Zickus wrote:
A couple of CONFIG file names were misnamed during their creation.
Fix them up.
configs/fedora/generic/CONFIG_DEBUG_VM_RB revisit this if performance isn't
horrible -> configs/fedora/generic/CONFIG_DEBUG_VM_RB
and
> configs/fedora/generic/CONFIG_DPM_WATCHDOG revisit this in debug ->
configs/fedora/generic/CONFIG_DPM_WATCHDOG
---
.../CONFIG_DEBUG_VM_RB revisit this if performance isn't horrible | 1 -
configs/fedora/generic/CONFIG_DPM_WATCHDOG | 1 +
configs/fedora/generic/CONFIG_DPM_WATCHDOG revisit this in debug | 1 -
3 files changed, 1 insertion(+), 2 deletions(-)
delete mode 100644 configs/fedora/generic/CONFIG_DEBUG_VM_RB revisit this if
performance isn't horrible
create mode 100644 configs/fedora/generic/CONFIG_DPM_WATCHDOG
delete mode 100644 configs/fedora/generic/CONFIG_DPM_WATCHDOG revisit this in
debug
diff --git a/configs/fedora/generic/CONFIG_DEBUG_VM_RB revisit this if
performance isn't horrible b/configs/fedora/generic/CONFIG_DEBUG_VM_RB revisit
this if performance isn't horrible
deleted file mode 100644
index fbc8aaef..00000000
--- a/configs/fedora/generic/CONFIG_DEBUG_VM_RB revisit this if performance
isn't horrible
+++ /dev/null
@@ -1 +0,0 @@
-# CONFIG_DEBUG_VM_RB is not set # revisit this if performance isn't horrible
diff --git a/configs/fedora/generic/CONFIG_DPM_WATCHDOG
b/configs/fedora/generic/CONFIG_DPM_WATCHDOG
new file mode 100644
index 00000000..c12b35c4
--- /dev/null
+++ b/configs/fedora/generic/CONFIG_DPM_WATCHDOG
@@ -0,0 +1 @@
+# CONFIG_DPM_WATCHDOG is not set # revisit this in debug
diff --git a/configs/fedora/generic/CONFIG_DPM_WATCHDOG revisit this in debug
b/configs/fedora/generic/CONFIG_DPM_WATCHDOG revisit this in debug
deleted file mode 100644
index c12b35c4..00000000
--- a/configs/fedora/generic/CONFIG_DPM_WATCHDOG revisit this in debug
+++ /dev/null
@@ -1 +0,0 @@
-# CONFIG_DPM_WATCHDOG is not set # revisit this in debug
Applied. Thanks!
_______________________________________________
kernel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
