diff options
| author | Michael Vogt <egon@debian-devbox> | 2012-05-11 16:21:05 +0200 |
|---|---|---|
| committer | Michael Vogt <egon@debian-devbox> | 2012-05-11 16:21:05 +0200 |
| commit | 3f81d67e1b732c1fdc8c17990249eda0fc2e09d6 (patch) | |
| tree | 038dbe61e80ac809de33bb8fc3c74e24f7fb8be6 /prepare-release | |
| parent | 99b4fefe0f303cf5ae5e8b9116404fc0fcc96e47 (diff) | |
| parent | a00a9b44a1e0abf944d88c36ceaac8afdd207dcb (diff) | |
merged from david
Diffstat (limited to 'prepare-release')
| -rwxr-xr-x | prepare-release | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/prepare-release b/prepare-release index e02157b24..fd98c489f 100755 --- a/prepare-release +++ b/prepare-release @@ -4,6 +4,23 @@ VERSION=$(dpkg-parsechangelog | sed -n -e '/^Version:/s/^Version: //p') DISTRIBUTION=$(dpkg-parsechangelog | sed -n -e '/^Distribution:/s/^Distribution: //p') if [ "$1" = 'pre-export' ]; then + libraryversioncheck() { + LIBRARY="$1" + VERSION="$2" + if [ ! -e "debian/${LIBRARY}${VERSION}.symbols" ]; then + echo >&2 "Library ${LIBRARY} in version ${VERSION} has no symbols file! (maybe forgot to rename?)" + exit 1 + fi + if [ "$(head -n1 "debian/${LIBRARY}${VERSION}.symbols")" != "${LIBRARY}.so.${VERSION} ${LIBRARY}${VERSION} #MINVER#" ]; then + echo >&2 "Library ${LIBRARY}${VERSION} has incorrect version in symbol header! (»$(head -n1 "debian/${LIBRARY}${VERSION}.symbols")«)" + exit 2 + fi + } + + libraryversioncheck 'libapt-pkg' "$(awk -v ORS='.' '/^\#define APT_PKG_M/ {print $3}' apt-pkg/init.h | sed 's/\.$//')" + libraryversioncheck 'libapt-inst' "$(egrep '^MAJOR=' apt-inst/makefile |cut -d '=' -f 2)" + + if [ "$DISTRIBUTION" = 'sid' ]; then echo >&2 '»sid« is not a valid distribution. Replace it with »unstable« for you' sed -i -e 's/) sid; urgency=/) unstable; urgency=/' debian/changelog |