diff options
Diffstat (limited to 'cpukit/aclocal')
-rw-r--r-- | cpukit/aclocal/enable-profiling.m4 | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/cpukit/aclocal/enable-profiling.m4 b/cpukit/aclocal/enable-profiling.m4 new file mode 100644 index 0000000000..b363ae28c6 --- /dev/null +++ b/cpukit/aclocal/enable-profiling.m4 @@ -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])]) |