#!/bin/bash
set -e
( exec -a depmod /sbin/depmod.ksplice-orig "$@" )
exec /sbin/ksplice-depmod "$@"