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