Merge fixes

Signed-off-by: Mark Charlebois <charlebm@gmail.com>
This commit is contained in:
Mark Charlebois
2016-02-19 16:59:42 +01:00
committed by Julian Oes
parent da8519b44d
commit 7389ea7648
3 changed files with 1 additions and 8 deletions
-3
View File
@@ -30,9 +30,6 @@
# POSSIBILITY OF SUCH DAMAGE.
#
############################################################################
#if("${DSPAL_STUBS_ENABLE}" STREQUAL "1")
# include_directories(../krait-stubs)
#endif()
px4_add_module(
MODULE modules__muorb__krait