echo
echo "options: "
echo " -no-color Do not use vt100 colors"
echo " -twice Run each test twice but show only the second run times"
echo
echo "options: "
echo " -no-color Do not use vt100 colors"
echo " -twice Run each test twice but show only the second run times"
echo
echo "If expected_result is OK the result will be OK if the test compiles."
echo "Otherwise if expected_result is FAIL the result will be OK if the test"
echo
echo "If expected_result is OK the result will be OK if the test compiles."
echo "Otherwise if expected_result is FAIL the result will be OK if the test"
if [ "$TWICE" = "1" ]; then
$CLEANER $T 1>/dev/null 2>/dev/null
$COMPILER $T 1>/dev/null 2>/dev/null
if [ "$TWICE" = "1" ]; then
$CLEANER $T 1>/dev/null 2>/dev/null
$COMPILER $T 1>/dev/null 2>/dev/null