denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

run: add --depot-auto-update feature

Browse Source 
If enabled, this option triggers the automated management of depot
content according to the needs of a run script.

Fixes #3270
This commit is contained in:
Norman Feske
2019-04-01 17:28:12 +02:00
committed by Christian Helmuth
parent d027f12764
commit a3411c8e96
4 changed files with 66 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
tool/depot/mk/build_bin_archive
View File

@@ -25,6 +25,19 @@ export GENODE_DIR := $(realpath $(dir $(MAKEFILE_LIST))/../../..)
include $(GENODE_DIR)/tool/depot/mk/front_end.inc
#
# Provide Genode build system with clean environment
#
unexport BASE_DIR
unexport SPECS
unexport SPEC_FILES
unexport LIB_CACHE_DIR
unexport LIB_DEP_FILE
unexport LIB_PROGRESS_LOG
unexport CONTRIB_DIR
unexport REPOSITORIES
#
# The target is the name of the archive
#