#!/bin/sh
exec `dirname "$0"`/hdl genericbatch "$@"
