diff options
Diffstat (limited to 'source/configure.in')
| -rw-r--r-- | source/configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/configure.in b/source/configure.in index 8154aabcc6f..3cb6965d584 100644 --- a/source/configure.in +++ b/source/configure.in @@ -1868,7 +1868,7 @@ AC_ARG_WITH(syslog, ################################################# # check for a shared memory profiling support AC_MSG_CHECKING(whether to use profiling) -AC_ARG_WITH(profile, +AC_ARG_WITH(profiling-data, [ --with-profiling-data Include gathering source code profile information (default=no)], [ case "$withval" in yes) |