on master help sign in
Minor fix: print rts opts help to stdout instead of stderr.
commit13a7afa81b6f8ae25e020282bd00b7bc4bf87915 authorSam T <sta.cs.vsu@gmail.com> dateFri 15 Mar 2013, 01:31 (14 years ago) parent0489a72
2 files changed+9−8
rts/idris_opts.c+7−7 rts/idris_opts.h+2−1
rts/idris_opts.c+7−7
@@ -16,8 +16,8 @@ char usage[] =
1616 " -K Sets the maximum stack size. Egs: -K8M\n" \
1717 "\n";
1818
19−void print_usage() {
20− fprintf(stderr, usage);
19+void print_usage(FILE * s) {
20+ fprintf(s, usage);
2121}
2222
2323int read_size(char * str) {
@@ -39,14 +39,14 @@ int read_size(char * str) {
3939 "RTS Opts: Unable to recognize size suffix `%c'.\n" \
4040 " Possible suffixes are K or M or G.\n",
4141 mult);
42− print_usage();
42+ print_usage(stderr);
4343 exit(EXIT_FAILURE);
4444 }
4545 return size;
4646 }
4747
4848 fprintf(stderr, "RTS Opts: Unable to parse size. Egs: 1K, 10M, 2G.\n");
49− print_usage();
49+ print_usage(stderr);
5050 exit(EXIT_FAILURE);
5151}
5252
@@ -67,14 +67,14 @@ int parse_args(RTSOpts * opts, int argc, char *argv[])
6767
6868 if (argv[i][0] != '-') {
6969 fprintf(stderr, "RTS options should start with '-'.\n");
70− print_usage();
70+ print_usage(stderr);
7171 exit(EXIT_FAILURE);
7272 }
7373
7474 switch (argv[i][1])
7575 {
7676 case '?':
77− print_usage();
77+ print_usage(stdout);
7878 exit(EXIT_SUCCESS);
7979 break;
8080
@@ -92,7 +92,7 @@ int parse_args(RTSOpts * opts, int argc, char *argv[])
9292
9393 default:
9494 printf("RTS opts: Wrong argument: %s\n", argv[i]);
95− print_usage();
95+ print_usage(stderr);
9696 exit(EXIT_FAILURE);
9797 }
9898 }
rts/idris_opts.h+2−1
@@ -2,6 +2,7 @@
22#define _IDRIS_OPTS_H
33
44#include <stddef.h>
5+#include <stdio.h>
56
67typedef struct {
78 size_t init_heap_size;
@@ -9,7 +10,7 @@ typedef struct {
910 int show_summary;
1011} RTSOpts;
1112
12−void print_usage();
13+void print_usage(FILE * s);
1314
1415// Parse rts options and shift arguments such that rts options becomes invisible
1516// for main program.