From e7fade3ac4559214ab0508dc54a71a3d1f522afb Mon Sep 17 00:00:00 2001
From: Daniel Hellstrom <daniel@gaisler.com>
Date: Mon, 28 Nov 2011 09:52:03 +0100
Subject: DRVMGR: added driver manager to cpukit/libdrvmgr

---
 aclocal/enable-drvmgr.m4 | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 aclocal/enable-drvmgr.m4

(limited to 'aclocal')

diff --git a/aclocal/enable-drvmgr.m4 b/aclocal/enable-drvmgr.m4
new file mode 100644
index 0000000000..489f60e75f
--- /dev/null
+++ b/aclocal/enable-drvmgr.m4
@@ -0,0 +1,12 @@
+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]) 
+])
-- 
cgit v1.2.3