#!/bin/sh
exec ${CIX_DISTDIR}/sudoexec/jdestroy $*
