make include optional

burnt-labs · Sep 25, 2024 · 765fa02 · 765fa02
1 parent 5d2b1bb
commit 765fa02
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.github/workflows/docker-build.yml b/.github/workflows/docker-build.yml
@@ -20,6 +20,8 @@ jobs:
           fetch-depth: 0
 
       - name: Run GoReleaser
+        env:
+          INCLUDE: ""
         run: |
           make build-all
 

diff --git a/Makefile b/Makefile
@@ -76,7 +76,8 @@ ldflags := $(strip $(ldflags))
 BUILD_FLAGS := -tags "$(build_tags_comma_sep)" -ldflags '$(ldflags)' -trimpath
 
 # The below include contains the tools and runsim targets.
-include contrib/devtools/Makefile
+INCLUDE := contrib/devtools/Makefile
+include $(INCLUDE)
 
 all: install lint test