diff options
Diffstat (limited to 'mk/github-actions.mk')
| -rw-r--r-- | mk/github-actions.mk | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/mk/github-actions.mk b/mk/github-actions.mk index 2bd4ce4afa..520787b980 100644 --- a/mk/github-actions.mk +++ b/mk/github-actions.mk @@ -155,14 +155,3 @@ docker: local-ci-image --oom-score-adj -500 \ $(LOCAL_IMAGE) \ /bin/bash - -# A literal space. -space := -space += - -comma := , - -# Joins elements of the list in arg 2 with the given separator. -# 1. Element separator. -# 2. The list. -join-with = $(subst $(space),$1,$(strip $(comma)))
\ No newline at end of file |