|
@@ -515,7 +515,12 @@ if(BUILD_TOOLS)
|
|
|
else()
|
|
|
message(WARNING "skipping Tool directory.")
|
|
|
endif(BUILD_TOOLS)
|
|
|
-add_subdirectory(Plugins)
|
|
|
+if(BUILD_PLUGINS)
|
|
|
+ add_subdirectory(Plugins)
|
|
|
+else()
|
|
|
+ message(WARNING "skipping Plugins directory.")
|
|
|
+endif(BUILD_PLUGINS)
|
|
|
+
|
|
|
if(BUILD_DEVADAPTER)
|
|
|
add_subdirectory(DevAdapter)
|
|
|
else()
|