Changeset 7871

Timestamp:

Jul 11, 2006, 5:47:32 PM (20 years ago)

Author:

Paul Price

Message:

Renaming --enable-profile to --enable-coverage (path coverage, not profiling).
Using --enable-profile to enable path coverage (link with "-pg").

File:

• trunk/psModules/configure.ac (modified) (1 diff)

trunk/psModules/configure.ac

@@ -71 +71 @@
   [AS_HELP_STRING(--enable-profile,enable compiler profiler information inclusion)],
   [AC_MSG_RESULT(compile optimization enabled)
-   CFLAGS="${CFLAGS=} -pg"]
+   CFLAGS="${CFLAGS=} -pg -g"
+   LDFLAGS="${LDFLAGS=} -pg"]
+)
+
+dnl handle path coverage checking
+AC_ARG_ENABLE(coverage,
+  [AS_HELP_STRING(--enable-coverage,enable path coverage checking)],
+  [AC_MSG_RESULT(path coverage enabled)
+   CFLAGS="${CFLAGS=} -fprofile-arcs -ftest-coverage -pg"]
 )