chore: fix make with /bin/sh (#129)

This commit is contained in:
mzz 2023-06-09 22:10:21 +08:00 committed by GitHub
parent 812dd839f1
commit 9c632aa8ca
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 4 deletions

View File

@ -11,6 +11,7 @@ on:
- "go.mod"
- "go.sum"
- ".github/workflows/build.yml"
- "Makefile"
release:
types: [ prereleased ]
pull_request:

View File

@ -46,9 +46,9 @@ dae: ebpf
## Begin Git Submodules
.gitmodules.d.mk: .gitmodules
@set -e -o pipefail && \
submodules=( $$(grep '\[submodule "' .gitmodules | cut -d'"' -f2) ) && \
echo "submodule_paths=$${submodules[@]}" > $@
@set -e && \
submodules=$$(grep '\[submodule "' .gitmodules | cut -d'"' -f2 | tr '\n' ' ') && \
echo "submodule_paths=$${submodules}" > $@
-include .gitmodules.d.mk
@ -58,7 +58,7 @@ $(submodule_paths): .gitmodules.d.mk
submodule submodules: $(submodule_paths)
@if [ -z "$(submodule_paths)" ]; then \
rm -f .gitmodules.mk; \
rm -f .gitmodules.d.mk; \
echo "Failed to generate submodules list. Please try again."; \
exit 1; \
fi