#!/bin/sh if [ $# -le 0 ]; then echo Usage: run_eweasel_catalog catalog exit 1 fi . $(dirname $0)/set_eweasel_env $EWEASEL/spec/$ISE_PLATFORM/bin/eweasel-mt $EWEASEL_ARGS -order -keep failed -catalog $1