Browse Source

make_list: check if file exists before the other operations

release/1.12
TSC21 4 years ago committed by Beat Küng
parent
commit
749f213ca5
  1. 2
      Makefile

2
Makefile

@ -63,7 +63,7 @@ all: px4_sitl_default @@ -63,7 +63,7 @@ all: px4_sitl_default
space := $(subst ,, )
define make_list
$(shell cat .github/workflows/compile_${1}.yml | sed -E 's|[[:space:]]+(.*),|check_\1|g' | grep check_${2})
$(shell [ -f .github/workflows/compile_${1}.yml ] && cat .github/workflows/compile_${1}.yml | sed -E 's|[[:space:]]+(.*),|check_\1|g' | grep check_${2})
endef
# Parsing

Loading…
Cancel
Save