#!/bin/sh
set -e
if [ -z "$D" ]; then
	depmod -a 3.10.17
else
	depmodwrapper -a -b $D 3.10.17 kernel
fi