From 647b92f6a0e84ed2a08a22fbcf9ed93b2bc06c4d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Helleu?= <flashcode@flashtux.org>
Date: Wed, 21 Mar 2018 22:25:17 +0100
Subject: [PATCH] debian: do not build packages with debug symbols in script
 build-debian.sh

---
 tools/build-debian.sh | 4 ++--
 1 file 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}]"