summaryrefslogtreecommitdiffstats
path: root/cpukit/aclocal
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2014-03-04 13:44:21 +0100
committerSebastian Huber <sebastian.huber@embedded-brains.de>2014-03-14 08:46:48 +0100
commiteafb040d9151cf25d10605cda27af1e9a58a6194 (patch)
tree05e2f97e93677177f2bcca5886f63f3a84643d25 /cpukit/aclocal
parentlibchip: Include <bsp.h> BSP options definition (diff)
downloadrtems-eafb040d9151cf25d10605cda27af1e9a58a6194.tar.bz2
score: Add --enable-profiling configure option
Diffstat (limited to 'cpukit/aclocal')
-rw-r--r--cpukit/aclocal/enable-profiling.m49
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])])