RCSID("$Id$");
+#ifdef HAVE___PROGNAME
+extern char *__progname;
+#else
+char *__progname;
+#endif
#define PAUSE_BEFORE_LOGOUT 3
{
printf("Platform-independent login recording test driver\n");
+ __progname = get_progname(argv[0]);
if (argc == 2) {
if (strncmp(argv[1], "-i", 3) == 0)
compile_opts_only = 1;