diff options
author | Sébastien Helleu <flashcode@flashtux.org> | 2018-03-21 22:25:17 +0100 |
---|---|---|
committer | Sébastien Helleu <flashcode@flashtux.org> | 2018-03-22 20:46:15 +0100 |
commit | 647b92f6a0e84ed2a08a22fbcf9ed93b2bc06c4d (patch) | |
tree | 65a483da16b30e671802b0635d88dc4546240bfa /tools | |
parent | 16d932a67164fc7e71f12c5916fcacab42ae1f69 (diff) | |
download | weechat-647b92f6a0e84ed2a08a22fbcf9ed93b2bc06c4d.zip |
debian: do not build packages with debug symbols in script build-debian.sh
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/build-debian.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/build-debian.sh b/tools/build-debian.sh index 589dba471..0cdee0fbe 100755 --- a/tools/build-debian.sh +++ b/tools/build-debian.sh @@ -243,8 +243,8 @@ fi echo " - Updating changelog: ${DEB_NAME} ${DEB_VERSION} (${DCH_DISTRO}, ${DCH_URGENCY}), ${PACKAGER_NAME} <${PACKAGER_EMAIL}>: ${DCH_CHANGELOG}" DEBFULLNAME="${PACKAGER_NAME}" DEBEMAIL="${PACKAGER_EMAIL}" dch "${DCH_CREATE}" --package "${DEB_NAME}" --newversion "${DEB_VERSION}" --distribution "${DCH_DISTRO}" --urgency "${DCH_URGENCY}" "${DCH_CHANGELOG}" -# build packages -dpkg-buildpackage -us -uc -j${JOBS} --source-option="--tar-ignore=.git" --source-option="--tar-ignore=build*" +# build packages (without debug symbols) +DEB_BUILD_OPTIONS="noddebs" dpkg-buildpackage -us -uc -j${JOBS} --source-option="--tar-ignore=.git" --source-option="--tar-ignore=build*" # all OK! echo " - Build OK [${DEB_NAME}-${DEB_VERSION}]" |