| 1966 | } |
| 1967 | |
| 1968 | void |
| 1969 | do_options(void) |
| 1970 | { |
| 1971 | const char *optline; |
| 1972 | int infocontext = 0; |
| 1973 | |
| 1974 | windowing_sanity(); |
| 1975 | filename[0] = '\0'; |
| 1976 | #ifdef FILE_PREFIX |
| 1977 | Strcat(filename, file_prefix); |
| 1978 | #endif |
| 1979 | Sprintf(eos(filename), DATA_TEMPLATE, OPTIONS_FILE); |
| 1980 | if (!(ofp = fopen(filename, WRTMODE))) { |
| 1981 | perror(filename); |
| 1982 | makedefs_exit(EXIT_FAILURE); |
| 1983 | /*NOTREACHED*/ |
| 1984 | } |
| 1985 | while ((optline = do_runtime_info(&infocontext)) != 0) |
| 1986 | Fprintf(ofp, "%s\n", optline); |
| 1987 | Fclose(ofp); |
| 1988 | return; |
| 1989 | } |
| 1990 | |
| 1991 | static void |
| 1992 | windowing_sanity(void) |
no test coverage detected