From f7f90546d108a6214cc8750cc5282f0a30abb54f Mon Sep 17 00:00:00 2001 From: Francisco Ferreira Date: Wed, 18 May 2016 04:13:01 +0100 Subject: [PATCH] ci: build PX4 with waf again --- Tools/scripts/build_ci.sh | 5 ----- 1 file changed, 5 deletions(-) diff --git a/Tools/scripts/build_ci.sh b/Tools/scripts/build_ci.sh index 962a8f2ad2..20c4a4693e 100755 --- a/Tools/scripts/build_ci.sh +++ b/Tools/scripts/build_ci.sh @@ -49,11 +49,6 @@ waf=modules/waf/waf-light # get list of boards supported by the waf build for board in $($waf list_boards | head -n1); do waf_supported_boards[$board]=1; done -echo "Temporarily disabling px4 waf builds (broken in px4 merge)" -waf_supported_boards[px4-v1]="" -waf_supported_boards[px4-v2]="" -waf_supported_boards[px4-v4]="" - echo "Targets: $CI_BUILD_TARGET" for t in $CI_BUILD_TARGET; do # skip make-based build for clang