#!/usr/bin/env bash

. /opt/microchip/scripts/env
${LIBERO_DIR}/Libero/bin64/lmgrd -z -c ${LIBERO_LICENSE_DIR}/License.dat -l ${LIBERO_LOG_DIR}/license.log

exec "$@"