diff options
| author | Per Bothner <per@bothner.com> | 2004-06-08 18:12:01 -0700 |
|---|---|---|
| committer | Per Bothner <bothner@gcc.gnu.org> | 2004-06-08 18:12:01 -0700 |
| commit | 74ee16427180c49e1e2dfa01991770d2e3e7ab7e (patch) | |
| tree | fbef72a40851839e12f2525a83796c5114fea93b /gcc/configure.ac | |
| parent | 898c05b8bd9d73fdb3dd1e9e4e4044b0ac74a789 (diff) | |
| download | gcc-74ee16427180c49e1e2dfa01991770d2e3e7ab7e.zip gcc-74ee16427180c49e1e2dfa01991770d2e3e7ab7e.tar.gz gcc-74ee16427180c49e1e2dfa01991770d2e3e7ab7e.tar.bz2 | |
* configure.ac: New --enable-mapped-location sets USE_MAPPED_LOCATION.
From-SVN: r82809
Diffstat (limited to 'gcc/configure.ac')
| -rw-r--r-- | gcc/configure.ac | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/configure.ac b/gcc/configure.ac index 71f6f0d..3606856 100644 --- a/gcc/configure.ac +++ b/gcc/configure.ac @@ -513,6 +513,15 @@ fi AC_SUBST(valgrind_path_defines) AC_SUBST(valgrind_command) +AC_ARG_ENABLE(mapped-location, +[ --enable-mapped-location location_t is fileline integer cookie],, +enable_mapped_location=no) + +if test "$enable_mapped_location" = yes ; then + AC_DEFINE(USE_MAPPED_LOCATION, 1, +[Define if location_t is fileline integer cookie.]) +fi + # Enable code coverage collection AC_ARG_ENABLE(coverage, [ --enable-coverage[=LEVEL] |