diff options
author | Peter Robinson <pbrobinson@gmail.com> | 2018-03-27 03:19:08 +0100 |
---|---|---|
committer | Peter Robinson <pbrobinson@gmail.com> | 2018-03-27 03:19:08 +0100 |
commit | 0e8aa233244c05a10db8b6c4c60db52793bcf775 (patch) | |
tree | 35a71a2ee030ae34cec79de8fb9af46e3836cfc9 /configs | |
parent | 4fae35e4637a0aac77516c999706b2d585b2ea79 (diff) | |
download | kernel-0e8aa233244c05a10db8b6c4c60db52793bcf775.tar.gz kernel-0e8aa233244c05a10db8b6c4c60db52793bcf775.tar.xz kernel-0e8aa233244c05a10db8b6c4c60db52793bcf775.zip |
drop removed X86_PPRO_FENCE config option
Diffstat (limited to 'configs')
-rw-r--r-- | configs/fedora/generic/x86/i686/CONFIG_X86_PPRO_FENCE | 1 | ||||
-rw-r--r-- | configs/fedora/generic/x86/i686PAE/CONFIG_X86_PPRO_FENCE | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/configs/fedora/generic/x86/i686/CONFIG_X86_PPRO_FENCE b/configs/fedora/generic/x86/i686/CONFIG_X86_PPRO_FENCE deleted file mode 100644 index 373382804..000000000 --- a/configs/fedora/generic/x86/i686/CONFIG_X86_PPRO_FENCE +++ /dev/null @@ -1 +0,0 @@ -# CONFIG_X86_PPRO_FENCE is not set diff --git a/configs/fedora/generic/x86/i686PAE/CONFIG_X86_PPRO_FENCE b/configs/fedora/generic/x86/i686PAE/CONFIG_X86_PPRO_FENCE deleted file mode 100644 index 373382804..000000000 --- a/configs/fedora/generic/x86/i686PAE/CONFIG_X86_PPRO_FENCE +++ /dev/null @@ -1 +0,0 @@ -# CONFIG_X86_PPRO_FENCE is not set |