diff options
Diffstat (limited to 'cpukit/Makefile.am')
| -rw-r--r-- | cpukit/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cpukit/Makefile.am b/cpukit/Makefile.am index 1758fff704..86c20a9d2d 100644 --- a/cpukit/Makefile.am +++ b/cpukit/Makefile.am @@ -242,10 +242,12 @@ include_rtems_HEADERS += libmisc/untar/untar.h include_rtems_HEADERS += libmisc/fsmount/fsmount.h ## Driver manager +if LIBDRVMGR include_drvmgrdir = $(includedir)/drvmgr include_drvmgr_HEADERS = libdrvmgr/drvmgr.h include_drvmgr_HEADERS += libdrvmgr/drvmgr_confdefs.h include_drvmgr_HEADERS += libdrvmgr/drvmgr_list.h +endif ## HACK: doxygen filter. EXTRA_DIST = doxy-filter |