From f1bd09756861e924b48b65da442c07acdced46ea Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 21 Jun 2017 11:53:34 +0200
Subject: [PATCH] depot: fix src/demo recipe

Without this fix, the src/demo recipe can fail when using -j.
---
 repos/demo/recipes/src/demo/content.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/demo/recipes/src/demo/content.mk b/repos/demo/recipes/src/demo/content.mk
index 2dee8d933c..514d272f66 100644
--- a/repos/demo/recipes/src/demo/content.mk
+++ b/repos/demo/recipes/src/demo/content.mk
@@ -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: