diff options
Diffstat (limited to 'scripts/lib/ptxd_make_debian_version_ext.sh')
-rw-r--r-- | scripts/lib/ptxd_make_debian_version_ext.sh | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/scripts/lib/ptxd_make_debian_version_ext.sh b/scripts/lib/ptxd_make_debian_version_ext.sh new file mode 100644 index 0000000..28c1ba3 --- /dev/null +++ b/scripts/lib/ptxd_make_debian_version_ext.sh @@ -0,0 +1,20 @@ +#!/bin/bash +# +# Copyright (C) 2018 by Michael Olbrich <m.olbrich@pengutronix.de> +# +# See CREDITS for details about who has contributed to this project. +# +# For further information about the PTXdist project and license conditions +# see the README file. +# + +ptxd_make_debian_version_ext() { + local num="$(. /etc/os-release; echo ${VERSION_ID})" + local version="-0ptx1" + + if [ -n "${num}" ]; then + version="${version}~bpo${num}+1" + fi + echo "${version}" +} +export -f ptxd_make_debian_version_ext |