-/* The following doesn't make sense on DOS since we can't core dump */
-
-#ifndef INI
- if (ready_already != 314159)
- {
-#ifdef MSDOS
- program_name = set_program_name(av[0]); /* rewritten 1994/Mar/1 - bkph */
-#else
- program_name = strrchr (av[0], PATH_SEP);
-
- if (program_name == NULL)
- program_name = av[0];
- else
- program_name++;
-#endif
-/* TeX or Metafont adds the space at the end of the name. */
- if (strcmp (program_name, virgin_program) != 0)
- {
- (void) sprintf (custom_default, dump_format, program_name);
- dump_default_var = custom_default;
- dump_default_length = strlen (program_name) + dump_ext_length;
- }
- }
-#endif /* not INI */
-