mirror of
https://github.com/redox-os/redox.git
synced 2026-11-07 09:26:00 -10:00
Merge branch 'rev-config' into 'master'
Revert default CONFIG_NAME See merge request redox-os/redox!2430
This commit is contained in:
commit
2404e9df71
1 file changed
+1
-1
+1
-1
@@ -17,7 +17,7 @@ PREFIX_USE_UPSTREAM_RUST_COMPILER?=0
|
||||
## Enable to use binary packages (much faster)
|
||||
REPO_BINARY?=
|
||||
## Name of the configuration to include in the image name e.g. desktop or server
|
||||
CONFIG_NAME?=server
|
||||
CONFIG_NAME?=desktop
|
||||
## Build appstream data for repo
|
||||
REPO_APPSTREAM?=0
|
||||
## Ignore errors when building the repo, attempt to build every package
|
||||
|
||||
Reference in new issue
Block a user