diff options
author | Peter Robinson <pbrobinson@gmail.com> | 2018-03-27 03:19:08 +0100 |
---|---|---|
committer | Jeremy Cline <jeremy@jcline.org> | 2018-03-29 12:43:35 -0400 |
commit | a990c4e11c679f6848f2589c9e1bfd5c33549cdb (patch) | |
tree | 9cabedd48d5989b0eab5199986d564358b7c8392 /configs/fedora/generic/x86/i686 | |
parent | 7ff201a48be3f35ef862a826a8e31d6e4dd817d2 (diff) | |
download | kernel-a990c4e11c679f6848f2589c9e1bfd5c33549cdb.tar.gz kernel-a990c4e11c679f6848f2589c9e1bfd5c33549cdb.tar.xz kernel-a990c4e11c679f6848f2589c9e1bfd5c33549cdb.zip |
drop removed X86_PPRO_FENCE config option
Diffstat (limited to 'configs/fedora/generic/x86/i686')
-rw-r--r-- | configs/fedora/generic/x86/i686/CONFIG_X86_PPRO_FENCE | 1 |
1 files changed, 0 insertions, 1 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 |