#!/bin/sh

set -e

${GREP_DCTRL:-grep-dctrl} -PX dctrl-tools