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