From 2eb13c9047a78d0feadbaeac22df1681e26b50e9 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 5 Mar 2018 15:07:21 +0100
Subject: [PATCH] depot: execute content rules sequentially

---
 tool/depot/mk/content_env.mk | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tool/depot/mk/content_env.mk b/tool/depot/mk/content_env.mk
index 161319c3f..7a4091233 100644
--- a/tool/depot/mk/content_env.mk
+++ b/tool/depot/mk/content_env.mk
@@ -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: