mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 05:37:54 +00:00
depot: fix src/demo recipe
Without this fix, the src/demo recipe can fail when using -j.
This commit is contained in:
parent
67a1cb92f2
commit
f1bd097568
@ -4,7 +4,7 @@ doc include lib src:
|
||||
$(mirror_from_rep_dir)
|
||||
|
||||
include/init/child_policy.h:
|
||||
mkdir $(dir $@)
|
||||
mkdir -p $(dir $@)
|
||||
cp $(GENODE_DIR)/repos/os/$@ $@
|
||||
|
||||
LICENSE:
|
||||
|
Loading…
Reference in New Issue
Block a user