pluginctl: updated to 0.1.3

This commit is contained in:
Felipe M 2025-08-06 17:20:17 +02:00
parent d9c0215b93
commit 8dcb4b535c
No known key found for this signature in database
GPG key ID: 52E5D65FCF99808A
3 changed files with 8 additions and 2 deletions

View file

@ -11,9 +11,16 @@ all: check-style test dist
manifest-check:
pluginctl manifest check
## Cleans the server build artifacts.
.PHONY: clean-server
clean-server:
ifneq ($(HAS_SERVER),)
rm -rf server/dist
endif
## Builds the server, if it exists, for all supported architectures, unless MM_SERVICESETTINGS_ENABLEDEVELOPER is set.
.PHONY: server
server: clean-server
server:
ifneq ($(HAS_SERVER),)
ifneq ($(MM_DEBUG),)