add get-update.sh script tool

1 files changed, 19 insertions, 0 deletions

diff --git a/get-update.sh b/get-update.sh
new file mode 100755
index 0000000..584fd67
--- /dev/null
+++ b/get-update.sh
@@ -0,0 +1,19 @@
+#!/bin/bash -ex
+
+kernel_branch=${1}
+kernel_version=${2}
+if [ -f "${kernel_branch}" ]; then
+    kernel_ver_old=$(cat "${kernel_branch}")
+    if [ "X${kernel_version}X" = "X${kernel_ver_old}X" ]; then
+        :
+        # do nothing when all the VERSION/PATCHLEVEL/SUBLEVEL are the same
+    else
+        echo "${kernel_version}" > "${kernel_branch}"
+        git add "${kernel_branch}"
+        git commit --no-edit -m "${kernel_branch}: update to ${kernel_version}"
+        git push origin HEAD:master
+    fi
+else
+    :
+    # no limit, trigger all builds for all the changes as normal
+fi