5
Last change
on this file since 853c5ef was
e7fade3,
checked in by Daniel Hellstrom <daniel@…>, on 11/28/11 at 08:52:03
|
DRVMGR: added driver manager to cpukit/libdrvmgr
|
-
Property mode set to
100644
|
File size:
383 bytes
|
Line | |
---|
1 | AC_DEFUN([RTEMS_ENABLE_DRVMGR], |
---|
2 | [ |
---|
3 | ## AC_BEFORE([$0], [RTEMS_CHECK_DRVMGR_STARTUP])dnl |
---|
4 | |
---|
5 | AC_ARG_ENABLE(drvmgr, |
---|
6 | [AS_HELP_STRING([--enable-drvmgr],[enable Driver Manager at Startup])], |
---|
7 | [case "${enableval}" in |
---|
8 | yes) RTEMS_DRVMGR_STARTUP=yes ;; |
---|
9 | no) RTEMS_DRVMGR_STARTUP=no ;; |
---|
10 | *) AC_MSG_ERROR(bad value ${enableval} for enable-drvmgr option) ;; |
---|
11 | esac],[RTEMS_DRVMGR_STARTUP=yes]) |
---|
12 | ]) |
---|
Note: See
TracBrowser
for help on using the repository browser.