debian: build dev packages without symbols file

diff --git a/scripts/build-in-obs.sh b/scripts/build-in-obs.sh
index 39f6e663168fed66bf0012e26005da8a06b274a1..fa990a8a23506c9ad370367d9027064feada17aa 100755 (executable)
--- a/scripts/build-in-obs.sh
+++ b/scripts/build-in-obs.sh
@@ -2,7 +2,7 @@
 
 # Example usage:
 # 1. place tarball to be released in git root dir
-# 2. scripts/make-distrofiles.sh
+# 2. scripts/make-distrofiles.sh -s
 # 3. scripts/build-in-obs.sh knot-resolver-latest
 
 project=home:CZ-NIC:$1

diff --git a/scripts/make-distrofiles.sh b/scripts/make-distrofiles.sh
index 9c1228accb6413d0b16e633a3a1ba5384faa297c..0c9f89f0089f0d9623eb5d6c9fea5ba63c1fa04b 100755 (executable)
--- a/scripts/make-distrofiles.sh
+++ b/scripts/make-distrofiles.sh
@@ -1,6 +1,21 @@
 #!/bin/bash -e
 
+# Run with -s to include *.symbols files.
+
 package=knot-resolver
+withsymbols=false
+
+while getopts "s" o; do
+       case "${o}" in
+               s)
+                       withsymbols=true
+                       ;;
+               *)
+                       ;;
+       esac
+done
+shift $((OPTIND-1))
+
 
 cd "$(git rev-parse --show-toplevel)"
 version=$(ls ${package}*.tar.xz | sed "s/${package}-\(.*\).tar.xz/\1/")
@@ -17,6 +32,11 @@ for file in ${files}; do
        sed -i "s/__VERSION__/${version}/g" "${file}"
 done
 
+# Optionally remove symbols file
+if [ "$withsymbols" = false ]; then
+       rm distro/deb/debian/*.symbols
+fi
+
 # Rename archive to debian format
 mv "${package}-${version}.tar.xz" "${package}_${version}.orig.tar.xz"