kernel-source/compress-vmlinux.sh

#!/bin/bash

set -x

# Once the brp script is reasonably widespread, we will remove the specfile
# hack and this script
if test -x /usr/lib/rpm/brp-suse.d/brp-99-compress-vmlinux; then
	exit 0
fi
vmlinux=$1
if test -e "$vmlinux" -a -e "$vmlinux.gz"; then
	# Deliberately not using gzip -n; the vmlinux image has a predictable
	# timestamp (bnc#880848#c20)
	gzip -k -9 -f "$vmlinux"
fi