#!/bin/bash -e
exit 0 # temporarily disabled, turn on after etch rc2 release
# Remove debugging symbols from kernel modules. Pass the kernel name.
kernel=$1
set -e
for dir in debian/*-modules-$kernel-di; do
	for module in `find $dir/lib/modules/ -name '*.o' -or -name '*.ko'`; do
		strip -R .comment -R .note -g --strip-unneeded $module
	done
done
