Overview
| Comment: | Always disable buffering for stderr. |
|---|---|
| Downloads: | Tarball | ZIP archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
79b85a3d235b12b1da571e06304f9079 |
| User & Date: | user on 2021-05-18 06:25:46.191 |
| Other Links: | manifest | tags |
Context
|
2021-05-20
| ||
| 00:47 | Change Four and Eight to Rook and Queen; also add Bishop check-in: e3c2fc3bcb user: user tags: trunk | |
|
2021-05-18
| ||
| 06:25 | Always disable buffering for stderr. check-in: 79b85a3d23 user: user tags: trunk | |
| 05:27 | Implement slow replay mode. check-in: 7498f8d701 user: user tags: trunk | |
Changes
Modified main.c
from [3edb85d936]
to [6c4bf4088e].
| ︙ | |||
866 867 868 869 870 871 872 873 874 875 876 877 878 879 | 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 | + |
int optind=1;
while(argc>optind && argv[optind][0]=='-') {
int i;
const char*s=argv[optind++];
if(s[1]=='-' && !s[2]) break;
for(i=1;s[i];i++) main_options[s[i]&127]=1;
}
setbuf(stderr,0);
if(!main_options['c']) fprintf(stderr,"FREE HERO MESH\n");
if(argc<=optind) fatal("usage: %s [switches] [--] basename [options...]\n",argc?argv[0]:"heromesh");
if(xrm_init(realloc)) fatal("Failed to initialize resource manager\n");
if(xrm_init_quarks(global_quarks)) fatal("Failed to initialize resource manager\n");
resourcedb=xrm_create();
if(!resourcedb) fatal("Allocation of resource database failed\n");
basefilename=argv[optind++];
|
| ︙ |