/*
 *------------------------------------------------------------------
 *
 * printCmdLine --
 *
 *          Print arguments that we're running with.
 *
 * Results:
 *      None.
 *
 * Side effects:
 *      None.
 *
 *------------------------------------------------------------------
 */
static void
printCmdLine(int argc, char **argv)
{
    int ii;
    for(ii = 0; ii < argc; ii++){
	printf("%s ", argv[ii]);
    }
    printf("\n");
}