#!/bin/sh . `dirname "$0"`/ardev_common.sh exec $EXECUTABLE $*