mirror of
https://gitlab.redox-os.org/redox-os/redox.git
synced 2026-07-02 17:48:42 +08:00
Make repo config configurable with integer
This commit is contained in:
parent
47805f2362
commit
cb619120a4
17
mk/config.mk
17
mk/config.mk
@ -16,11 +16,9 @@ REPO_BINARY?=0
|
||||
## Name of the configuration to include in the image name e.g. desktop or server
|
||||
CONFIG_NAME?=desktop
|
||||
## Ignore errors when building the repo, attempt to build every package
|
||||
## REPO_NONSTOP?=--nonstop
|
||||
REPO_NONSTOP?=
|
||||
REPO_NONSTOP?=0
|
||||
## Do not update source repos, attempt to build in offline condition
|
||||
## REPO_OFFLINE?=--offline
|
||||
REPO_OFFLINE?=
|
||||
REPO_OFFLINE?=0
|
||||
## Select filesystem config
|
||||
ifeq ($(BOARD),)
|
||||
FILESYSTEM_CONFIG?=config/$(ARCH)/$(CONFIG_NAME).toml
|
||||
@ -59,6 +57,17 @@ ifeq (,$(shell command -v sccache))
|
||||
endif
|
||||
endif
|
||||
|
||||
ifeq ($(REPO_NONSTOP),1)
|
||||
REPO_NONSTOP=--nonstop
|
||||
else ifeq ($(REPO_NONSTOP),0)
|
||||
REPO_NONSTOP=
|
||||
endif
|
||||
ifeq ($(REPO_OFFLINE),1)
|
||||
REPO_OFFLINE=--offline
|
||||
else ifeq ($(REPO_OFFLINE),0)
|
||||
REPO_OFFLINE=
|
||||
endif
|
||||
|
||||
UNAME := $(shell uname)
|
||||
ifeq ($(UNAME),Darwin)
|
||||
FUMOUNT=umount
|
||||
|
||||
Loading…
Reference in New Issue
Block a user