# --- T2-COPYRIGHT-NOTE-BEGIN ---
# T2 SDE: architecture/x86-64/gcc-options.in
# Copyright (C) 2004 - 2024 The T2 SDE Project
# 
# This Copyright note is generated by scripts/Create-CopyPatch,
# more information can be found in the files COPYING and README.
# 
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License version 2.
# --- T2-COPYRIGHT-NOTE-END ---

case "$SDECFG_X8664_OPT" in
    generic) ;;
    *)
	var_append GCC_WRAPPER_INSERT " " "-march=$SDECFG_X8664_OPT"
	var_append KCC_WRAPPER_APPEND " " "-march=$SDECFG_X8664_OPT"
	;;
esac