From 95ab29b65014c8e3a295c7fe41f760d1ddb4d48f Mon Sep 17 00:00:00 2001
From: Jakub Jermar <jakub@jermar.eu>
Date: Wed, 20 Dec 2017 21:37:40 +0100
Subject: [PATCH] Run the tools/cc.sh script during release

This creates the COPYRIGHT file in the release images.
---
 release/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/release/Makefile b/release/Makefile
index 09a8fd05e2..92c98f6871 100644
--- a/release/Makefile
+++ b/release/Makefile
@@ -82,6 +82,8 @@ $(IMG_FILE):
 	$(MAKE) -r -C $(EXPORT_DIR)
 
 release: src_rel
+	mkdir -p $(EXPORT_DIR)/uspace/overlay
+	(cd ..; tools/cc.sh) >$(EXPORT_DIR)/uspace/overlay/COPYRIGHT
 	for profile in $(PROFILES); do \
 		$(MAKE) -r -C $(EXPORT_DIR) distclean ; \
 		$(MAKE) -r -C $(EXPORT_DIR) PROFILE=$$profile ; \