#!/bin/sh
#
# A shortcut to invoke make INIT=$1
# This is used to make target in directory test.
# All Jedi's testing source codes should be put in test directory
#
if [ $# = 0 ]
then
	echo Usage: $0 target [args...] 1>&2
	echo target must be a target in test/Makefile 1>&2
	echo It is equivalent to make INIT="\$1" \$2 \$3... 1>&2
	exit 1;
fi

target=$1
shift
make INIT="$target" $*
