1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 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 git tag -s -m "Tagging ${v}" -u 695A46C6 "${v}" make -k -j12 -s