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
echo "options: "
echo " -no-color Do not use vt100 colors"
echo " -twice Run each test twice but show only the second run times"
echo
if [ "$TWICE" = "1" ]; then
$CLEANER $T 1>/dev/null 2>/dev/null
$COMPILER $T 1>/dev/null 2>/dev/null
fi
$CLEANER $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
fi
$CLEANER $T 1>/dev/null 2>/dev/null