#!/bin/bash
exit 0
test_name=$(echo "$1" | sed -e 's,.*/,,' -e 's,--,/,g' -e 's,\..*$,,')
shift
./testlibgwy@EXEEXT@ -p /testlibgwy/$test_name "$@"
