96 |
#endif |
#endif |
97 |
|
|
98 |
/* Options. Some are compile-time only, some are run-time only, and some are |
/* Options. Some are compile-time only, some are run-time only, and some are |
99 |
both, so we keep them all distinct. However, almost all the bits in the options |
both, so we keep them all distinct. However, almost all the bits in the options |
100 |
word are now used. In the long run, we may have to re-use some of the |
word are now used. In the long run, we may have to re-use some of the |
101 |
compile-time only bits for runtime options, or vice versa. */ |
compile-time only bits for runtime options, or vice versa. */ |
102 |
|
|