mirror of
https://bitbucket.org/librepilot/librepilot.git
synced 2025-02-20 10:54:14 +01:00
Added options to make config file
This commit is contained in:
parent
b18523d690
commit
9097c8b118
26
Makefile
26
Makefile
@ -844,6 +844,27 @@ $(DIST_NAME).gz: $(DIST_VER_INFO) .git/index | $(DIST_DIR)
|
||||
dist: $(DIST_NAME).gz
|
||||
|
||||
|
||||
##############################
|
||||
#
|
||||
# Config
|
||||
#
|
||||
##############################
|
||||
|
||||
CONFIG_OPTS := $(subst $(SPACE),\n,$(MAKEOVERRIDES))
|
||||
|
||||
.PHONY: config_new
|
||||
config_new:
|
||||
@echo -e '$(CONFIG_OPTS)' > $(CONFIG_FILE)
|
||||
|
||||
.PHONY: config_append
|
||||
config_append:
|
||||
@echo -e '$(CONFIG_OPTS)' >> $(CONFIG_FILE)
|
||||
|
||||
.PHONY: config_clean
|
||||
config_clean:
|
||||
rm -f $(CONFIG_FILE)
|
||||
|
||||
|
||||
##############################
|
||||
#
|
||||
# Directories
|
||||
@ -995,6 +1016,11 @@ help:
|
||||
@$(ECHO) " docs_<source>_clean - Delete generated documentation for <source>"
|
||||
@$(ECHO) " docs_all_clean - Delete all generated documentation"
|
||||
@$(ECHO)
|
||||
@$(ECHO) " [Configuration]"
|
||||
@$(ECHO) " config_new - Place your make arguments in the config file"
|
||||
@$(ECHO) " config_append - Place your make arguments in the config file but append"
|
||||
@$(ECHO) " config_clean - Removes the config file"
|
||||
@$(ECHO)
|
||||
@$(ECHO) " Hint: Add V=1 to your command line to see verbose build output."
|
||||
@$(ECHO)
|
||||
@$(ECHO) " Notes: All tool distribution files will be downloaded into $(DL_DIR)"
|
||||
|
Loading…
x
Reference in New Issue
Block a user