score: Add --enable-profiling configure option

This commit is contained in:
Sebastian Huber
2014-03-04 13:44:21 +01:00
parent ebb6a8d059
commit eafb040d91
2 changed files with 15 additions and 0 deletions

View File

@@ -0,0 +1,9 @@
AC_DEFUN([RTEMS_ENABLE_PROFILING],
[AC_ARG_ENABLE(profiling,
[AS_HELP_STRING([--enable-profiling],[enable support for profiling (default=no)])],
[case "${enableval}" in
yes) RTEMS_HAS_PROFILING=yes ;;
no) RTEMS_HAS_PROFILING=no ;;
*) AC_MSG_ERROR(bad value ${enableval} for enable profiling option) ;;
esac],
[RTEMS_HAS_PROFILING=no])])

View File

@@ -16,6 +16,7 @@ RTEMS_ENABLE_POSIX
RTEMS_ENABLE_RTEMS_DEBUG
RTEMS_ENABLE_NETWORKING
RTEMS_ENABLE_PARAVIRT
RTEMS_ENABLE_PROFILING
RTEMS_ENV_RTEMSCPU
RTEMS_CHECK_RTEMS_DEBUG
@@ -209,6 +210,11 @@ RTEMS_CPUOPT([RTEMS_PARAVIRT],
[1],
[PARAVIRT is enabled])
RTEMS_CPUOPT([RTEMS_PROFILING],
[test x"$RTEMS_HAS_PROFILING" = xyes],
[1],
[if profiling is enabled])
RTEMS_CPUOPT([RTEMS_NETWORKING],
[test x"$rtems_cv_HAS_NETWORKING" = xyes],
[1],