mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-19 01:10:35 +00:00
35 lines
635 B
Makefile
Executable File
35 lines
635 B
Makefile
Executable File
#!/usr/bin/make -f
|
|
|
|
#
|
|
# \brief Tool for retrieving metadata of port sources
|
|
# \author Christian Helmuth
|
|
# \date 2023-01-20
|
|
#
|
|
|
|
ifndef VERBOSE
|
|
MAKEFLAGS += --no-print-directory
|
|
endif
|
|
|
|
export GENODE_DIR := $(realpath $(dir $(MAKEFILE_LIST))/../..)
|
|
|
|
usage:
|
|
@echo
|
|
@echo "Tool for retrieving version information of port sources"
|
|
@echo
|
|
@echo "usage:"
|
|
@echo
|
|
@echo " $(notdir $(MAKEFILE_LIST)) <ports>"
|
|
@echo
|
|
@echo " <ports> whitespace-separated list of ports"
|
|
@echo
|
|
|
|
TARGETS = $(sort $(MAKECMDGOALS))
|
|
|
|
.PHONY: $(TARGETS)
|
|
|
|
.NOTPARALLEL:
|
|
|
|
$(TARGETS):
|
|
@$(MAKE) -f $(GENODE_DIR)/tool/ports/mk/metadata_single_port.mk $@
|
|
@$(ECHO)
|