From e95132c719ae82eb97243e3086b2798d73d98b14 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Joan=20Vallv=C3=A9=20Navarro?= <jvallve@iri.upc.edu>
Date: Wed, 1 Mar 2023 13:13:37 +0100
Subject: [PATCH] Update wolf_scripts/license_manager.sh

---
 wolf_scripts/license_manager.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/wolf_scripts/license_manager.sh b/wolf_scripts/license_manager.sh
index 2e90fb0ad..78adf7542 100755
--- a/wolf_scripts/license_manager.sh
+++ b/wolf_scripts/license_manager.sh
@@ -4,6 +4,7 @@
 #
 # This script is used for managing the license headers of code files (.h, .c, .cpp, .hpp)
 # This file is automatically called by the CI in gitlab.
+echo "==== WOLF license_manager script ===="
 
 line_start_mark="//--------LICENSE_START--------"
 line_end_mark="//--------LICENSE_END--------"
@@ -142,4 +143,4 @@ do
     ( echo ${line_start_mark}$'\n//'; cat ${license}; echo $'//\n'${line_end_mark}; cat $i ) > temp_file
     mv temp_file $i
   fi
-done
\ No newline at end of file
+done
-- 
GitLab