From ab644bc3d66a0a21342d26e7a32b535916d151b5 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 22 Nov 2018 16:44:13 +0100
Subject: [dev] fix create_overlay wrt branch names containing /

---
 dev/tools/create_overlays.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev/tools')

diff --git a/dev/tools/create_overlays.sh b/dev/tools/create_overlays.sh
index 314ac07e68..41392be5d7 100755
--- a/dev/tools/create_overlays.sh
+++ b/dev/tools/create_overlays.sh
@@ -75,4 +75,4 @@ done
 # End the file; copy to overlays folder.
 echo "fi" >> $OVERLAY_FILE
 PR_NUMBER=$(printf '%05d' "$PR_NUMBER")
-mv $OVERLAY_FILE dev/ci/user-overlays/$PR_NUMBER-$DEVELOPER_NAME-$OVERLAY_BRANCH.sh
+mv $OVERLAY_FILE dev/ci/user-overlays/$PR_NUMBER-$DEVELOPER_NAME-${OVERLAY_BRANCH///}.sh
-- 
cgit v1.2.3