From 86228cf5f3846b08e8c343daf93af9c25131343b Mon Sep 17 00:00:00 2001 From: Paul Bolle Date: Sat, 12 Jan 2019 18:37:42 +0100 Subject: configs: Correct four non-standard filenames These non-standard filenames have no effect on the build, but should still be fixed since they could be confusing (to people and scripts). Signed-off-by: Paul Bolle --- configs/fedora/generic/CONFIG_ALTERA_PR_IP_CORE_PLAT | 1 + 1 file changed, 1 insertion(+) create mode 100644 configs/fedora/generic/CONFIG_ALTERA_PR_IP_CORE_PLAT (limited to 'configs/fedora/generic/CONFIG_ALTERA_PR_IP_CORE_PLAT') diff --git a/configs/fedora/generic/CONFIG_ALTERA_PR_IP_CORE_PLAT b/configs/fedora/generic/CONFIG_ALTERA_PR_IP_CORE_PLAT new file mode 100644 index 000000000..6965c768b --- /dev/null +++ b/configs/fedora/generic/CONFIG_ALTERA_PR_IP_CORE_PLAT @@ -0,0 +1 @@ +CONFIG_ALTERA_PR_IP_CORE_PLAT=m -- cgit