diff options
Diffstat (limited to '')
| -rw-r--r-- | cpukit/aclocal/enable-drvmgr.m4 | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/cpukit/aclocal/enable-drvmgr.m4 b/cpukit/aclocal/enable-drvmgr.m4 deleted file mode 100644 index a9da288b11..0000000000 --- a/cpukit/aclocal/enable-drvmgr.m4 +++ /dev/null @@ -1,12 +0,0 @@ -dnl $Id: enable-drvmgr.m4,v 1.0 - -AC_DEFUN([RTEMS_ENABLE_DRVMGR], -[ -AC_ARG_ENABLE(drvmgr, -AS_HELP_STRING(--enable-drvmgr,enable drvmgr at startup), -[case "${enableval}" in - yes) RTEMS_DRVMGR_STARTUP=yes ;; - no) RTEMS_DRVMGR_STARTUP=no ;; - *) AC_MSG_ERROR(bad value ${enableval} for enable-drvmgr option) ;; -esac],[RTEMS_DRVMGR_STARTUP=yes]) -]) |