4 |
# |
# |
5 |
# Edit this file to enable/disable optimizations |
# Edit this file to enable/disable optimizations |
6 |
# |
# |
7 |
# $Id: Makefile.linux,v 1.8 2002-09-22 10:19:51 edgomez Exp $ |
# $Id: Makefile.linux,v 1.9 2002-09-22 10:27:52 edgomez Exp $ |
8 |
# |
# |
9 |
############################################################################# |
############################################################################# |
10 |
|
|
84 |
# CFLAGS += -g |
# CFLAGS += -g |
85 |
# Includes profiling code in generated code, don't forget to disable |
# Includes profiling code in generated code, don't forget to disable |
86 |
# -fomit-frame-pointer as these 2 options are exclusive. |
# -fomit-frame-pointer as these 2 options are exclusive. |
87 |
# CFLAGS += -p |
# CFLAGS += -pg |
88 |
|
# Precise profiling + test coverage (-pg must be activated) |
89 |
|
# Build the library twice and execute a program using the lib twice too |
90 |
|
# First pass : Will create sourcefile.da files to keep branch statistics |
91 |
|
# CFLAGS += -fprofile-arcs |
92 |
|
# Second pass : Will create .bb and .bbg files suitable for coverage and |
93 |
|
# branch probabilities during compilation |
94 |
|
# CFLAGS += -fprofile-arcs -fbranch-probabilities -ftest-coverage |
95 |
|
|
96 |
|
|
97 |
# Architecture options : Valid for every gcc version |
# Architecture options : Valid for every gcc version |