diff --git a/configure/os/CONFIG_SITE.Common.linux-x86 b/configure/os/CONFIG_SITE.Common.linux-x86 index 19a5794c9..981c133e8 100644 --- a/configure/os/CONFIG_SITE.Common.linux-x86 +++ b/configure/os/CONFIG_SITE.Common.linux-x86 @@ -32,5 +32,11 @@ COMMANDLINE_LIBRARY = READLINE # Needs -lcurses (older versions) #COMMANDLINE_LIBRARY = READLINE_CURSES +# Optionally specify a specific machine type and/or cpu type. +# Generate instructions for a specific machine type with -march= +# Tune for a specific cpu-type with -mtune= +# Specifying -march= implies -mtune=. +#ARCH_DEP_CFLAGS = -mtune=i686 -march=i686 OP_SYS_CFLAGS += -g +