Merge pull request #11840 from id/1030-fix-nothing

fix nothing
This commit is contained in:
Ivan Dyachkov 2023-10-30 15:43:16 +01:00 committed by GitHub
commit 19554850a9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions

View File

@ -34,10 +34,6 @@ CT_COVER_EXPORT_PREFIX ?= $(PROFILE)
export REBAR_GIT_CLONE_OPTIONS += --depth=1 export REBAR_GIT_CLONE_OPTIONS += --depth=1
.PHONY: nothing
nothing:
@:
.PHONY: default .PHONY: default
default: $(REBAR) $(PROFILE) default: $(REBAR) $(PROFILE)
@ -324,3 +320,7 @@ clean-test-cluster-config:
.PHONY: spellcheck .PHONY: spellcheck
spellcheck: spellcheck:
./scripts/spellcheck/spellcheck.sh _build/docgen/$(PROFILE)/schema-en.json ./scripts/spellcheck/spellcheck.sh _build/docgen/$(PROFILE)/schema-en.json
.PHONY: nothing
nothing:
@: