source: git/Singular/feOpt.inc @ 584b82

spielwiese
Last change on this file since 584b82 was 7a25384, checked in by Hans Schoenemann <hannes@…>, 2 years ago
add --log option
  • Property mode set to 100644
File size: 597 bytes
Line 
1typedef enum
2{
3FE_OPT_BATCH=0,
4  FE_OPT_EXECUTE,
5  FE_OPT_SDB,
6  FE_OPT_ECHO,
7  FE_OPT_HELP,
8  FE_OPT_PROFILE,
9  FE_OPT_QUIET,
10  FE_OPT_SORT,
11  FE_OPT_RANDOM,
12  FE_OPT_NO_TTY,
13  FE_OPT_USER_OPTION,
14  FE_OPT_VERSION,
15  FE_OPT_ALLOW_NET,
16  FE_OPT_BROWSER,
17  FE_OPT_CNTRLC,
18  FE_OPT_EMACS,
19  FE_OPT_LOG,
20  FE_OPT_NO_STDLIB,
21  FE_OPT_NO_RC,
22  FE_OPT_NO_WARN,
23  FE_OPT_NO_OUT,
24  FE_OPT_NO_SHELL,
25  FE_OPT_MIN_TIME,
26  FE_OPT_CPUS,
27  FE_OPT_THREADS,
28  FE_OPT_FLINT_THREADS,
29  FE_OPT_MPPORT,
30  FE_OPT_MPHOST,
31  FE_OPT_LINK,
32  FE_OPT_TICKS_PER_SEC,
33  FE_OPT_DUMP_VERSIONTUPLE,
34  FE_OPT_UNDEF
35} feOptIndex;
Note: See TracBrowser for help on using the repository browser.