/* (C) 1998-2002 Red Hat, Inc. -- Licensing details are in the COPYING
   file accompanying popt source distributions, available from
   ftp://ftp.rpm.org/pub/rpm/dist. */

#include "system.h"

/*@unchecked@*/
static int singleDash = 0;

/*@unchecked@*/
static struct poptOption options[] = {
  { NULL, '-', POPT_ARG_NONE | POPT_ARGFLAG_DOC_HIDDEN, &singleDash, 0,
	NULL, NULL },
  POPT_AUTOHELP
  POPT_TABLEEND
};


int main(int argc, const char ** argv)
	/*@globals pass2, fileSystem, internalState @*/
	/*@modifies pass2, fileSystem, internalState @*/
{
    poptContext optCon;
    const char ** rest;
    int rc;

    optCon = poptGetContext("test1", argc, argv, options, 0);
    (void) poptReadConfigFile(optCon, "./test-poptrc");

    while ((rc = poptGetNextOpt(optCon)) > 0)	/* Read all the options ... */
	{};

    if (singleDash)
	fprintf(stdout, "Found a single dash!!\n");

exit:
    optCon = poptFreeContext(optCon);
    return 42;
}