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