#!/bin/sh

if [ $# -le 0 ]; then
	echo Usage: run_eweasel_filter test_name
	exit 1
fi

. $(dirname $0)/set_eweasel_env

$EWEASEL/spec/$ISE_PLATFORM/bin/eweasel-mt $EWEASEL_ARGS -order -keep all -filter "dir $1" -catalog $EWEASEL/control/catalog