From eafb040d9151cf25d10605cda27af1e9a58a6194 Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Tue, 4 Mar 2014 13:44:21 +0100
Subject: score: Add --enable-profiling configure option

---
 cpukit/aclocal/enable-profiling.m4 | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 cpukit/aclocal/enable-profiling.m4

(limited to 'cpukit/aclocal')

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])])
-- 
cgit v1.2.3