1 files changed, 22 insertions, 0 deletions
diff --git a/dts/scripts/merge-new-release.sh b/dts/scripts/merge-new-release.sh
new file mode 100755
index 0000000000..cf2ac41915
--- /dev/null
+++ b/dts/scripts/merge-new-release.sh
@@ -0,0 +1,22 @@
+#!/bin/bash
+
+case $1 in
+    v*-dts) ;;
+    '')
+	echo >&2 "No version given"
+	exit 1
+	;;
+    *)
+	echo >&2 "Unexpected version: $1"
+	exit 1
+	;;
+esac
+
+v=$1
+
+set -ex
+
+git merge --no-edit "${v}-raw"
+git clean -fdqx
+make -k -j12 -s
+git tag -s -m "Tagging ${v}" -u 695A46C6 "${v}"