| 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 |
|
|