diff options
Diffstat (limited to 'target/config/Config.in.x86_64')
| -rw-r--r-- | target/config/Config.in.x86_64 | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/target/config/Config.in.x86_64 b/target/config/Config.in.x86_64 deleted file mode 100644 index 748860e68..000000000 --- a/target/config/Config.in.x86_64 +++ /dev/null @@ -1,15 +0,0 @@ -# This file is part of the OpenADK project. OpenADK is copyrighted -# material, please see the LICENCE file in the top-level directory. - -choice ADK_TARGET_CPU -prompt "CPU type" -depends on ADK_TARGET_SYSTEM_GENERIC_X86_64 -default ADK_TARGET_CPU_X86_64 -help - Selection of x86_64 CPU type which gives gcc optimization. - For details on the different types, see: - https://gcc.gnu.org/onlinedocs/gcc-5.3.0/gcc/x86-Options.html#x86-Options - - -endchoice - |