mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
depot: execute content rules sequentially
This commit is contained in:
@@ -60,3 +60,7 @@ mirror_from_rep_dir = mkdir -p $(dir $@); cp -r $(REP_DIR)/$@ $(dir $@)
|
||||
#
|
||||
include $(CONTENT_MK)
|
||||
|
||||
#
|
||||
# Prevent parallel execution of content rules to prevent unexpected surprises
|
||||
#
|
||||
.NOTPARALLEL:
|
||||
|
||||
Reference in New Issue
Block a user