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