From 749f213ca52034e16e8ee4d06ac9dec1528869a5 Mon Sep 17 00:00:00 2001 From: TSC21 Date: Mon, 14 Jun 2021 09:42:19 +0200 Subject: [PATCH] make_list: check if file exists before the other operations --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index bcf918e398..9abecb8933 100644 --- a/Makefile +++ b/Makefile @@ -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