blob: 72bef2eed07a2664908bdd29fef80ad3db40ea99 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#!/bin/bash
#
# Copyright (C) 2018 by Michael Olbrich <m.olbrich@pengutronix.de>
#
# 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
|
