5
Last change
on this file since bdd4eb87 was
eafb040,
checked in by Sebastian Huber <sebastian.huber@…>, on 03/04/14 at 12:44:21
|
score: Add --enable-profiling configure option
|
-
Property mode set to
100644
|
File size:
374 bytes
|
Line | |
---|
1 | AC_DEFUN([RTEMS_ENABLE_PROFILING], |
---|
2 | [AC_ARG_ENABLE(profiling, |
---|
3 | [AS_HELP_STRING([--enable-profiling],[enable support for profiling (default=no)])], |
---|
4 | [case "${enableval}" in |
---|
5 | yes) RTEMS_HAS_PROFILING=yes ;; |
---|
6 | no) RTEMS_HAS_PROFILING=no ;; |
---|
7 | *) AC_MSG_ERROR(bad value ${enableval} for enable profiling option) ;; |
---|
8 | esac], |
---|
9 | [RTEMS_HAS_PROFILING=no])]) |
---|
Note: See
TracBrowser
for help on using the repository browser.