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: