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