From a990c4e11c679f6848f2589c9e1bfd5c33549cdb Mon Sep 17 00:00:00 2001 From: Peter Robinson Date: Tue, 27 Mar 2018 03:19:08 +0100 Subject: drop removed X86_PPRO_FENCE config option --- configs/fedora/generic/x86/i686/CONFIG_X86_PPRO_FENCE | 1 - 1 file changed, 1 deletion(-) delete mode 100644 configs/fedora/generic/x86/i686/CONFIG_X86_PPRO_FENCE (limited to 'configs/fedora/generic/x86/i686') 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 -- cgit