1 # --- SDE-COPYRIGHT-NOTE-BEGIN ---
2 # This copyright note is auto-generated by ./scripts/Create-CopyPatch.
4 # Filename: architecture/x86/gcc-options.in
5 # Copyright (C) 2004 - 2006 The T2 SDE Project
7 # More information can be found in the files COPYING and README.
9 # This program is free software; you can redistribute it and/or modify
10 # it under the terms of the GNU General Public License as published by
11 # the Free Software Foundation; version 2 of the License. A copy of the
12 # GNU General Public License can be found in the file COPYING.
13 # --- SDE-COPYRIGHT-NOTE-END ---
15 case "$SDECFG_X86_OPT" in
18 var_append GCC_WRAPPER_INSERT " " "-march=$SDECFG_X86_OPT"
19 # workaround and should be removed when gcc 3.x got fixed ...
20 var_append GCC_WRAPPER_INSERT " " "-fno-branch-count-reg"
23 var_append GCC_WRAPPER_INSERT " " "-march=$SDECFG_X86_OPT"
24 # workaround for gcc bug #15617
25 var_append GCC_WRAPPER_INSERT " " "-mpreferred-stack-boundary=7"
28 var_append GCC_WRAPPER_INSERT " " "-march=$SDECFG_X86_OPT" ;;