File get_release_number.sh of Package kernel-source.4528

#!/bin/bash

RELEASE=${2%.*}
BUILD=${2##*.}
TDC_MARKER="TDC"

echo "0.${RELEASE}.${TDC_MARKER}.${BUILD}"