diff options
Diffstat (limited to 'aclocal/enable-drvmgr.m4')
| -rw-r--r-- | aclocal/enable-drvmgr.m4 | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/aclocal/enable-drvmgr.m4 b/aclocal/enable-drvmgr.m4 deleted file mode 100644 index 489f60e75f..0000000000 --- a/aclocal/enable-drvmgr.m4 +++ /dev/null @@ -1,12 +0,0 @@ -AC_DEFUN([RTEMS_ENABLE_DRVMGR], -[ -## AC_BEFORE([$0], [RTEMS_CHECK_DRVMGR_STARTUP])dnl - -AC_ARG_ENABLE(drvmgr, -[AS_HELP_STRING([--enable-drvmgr],[enable Driver Manager 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]) -]) |