added support for profiling

This commit is contained in:
2022-07-27 16:28:00 +02:00
parent d7ea3b068d
commit cd42cf4043
2 changed files with 10 additions and 1 deletions

View File

@@ -141,6 +141,15 @@ AC_ARG_ENABLE([debug],[ --disable-debug not to perform some range-checking [[
,)
AC_SUBST([DEBUGOPT])
PROFILEOPT=""
AC_ARG_ENABLE([profile],[ --enable-profile to perform performance profiling [[default=no]]],
[case "${enableval}" in
yes) PROFILEOPT="-pg";;
no) ;;
*) AC_MSG_ERROR([bad value ${enableval} for --enable-profile]) ;;
esac],
,)
AC_SUBST([PROFILEOPT])