 Robert Schmidt
|
04247d501d
|
Remove RFSIMULATOR environment variable from repository
|
2023-06-28 07:16:43 +02:00 |
|
|
Robert Schmidt
|
710bfdbf04
|
Introduce env var OAI_RNGSEED
can be used to set a random number generator (RNG) seed uniformly from
command line
|
2023-06-28 07:16:00 +02:00 |
|
|
Robert Schmidt
|
49703eee7b
|
Rename threadPoolMeasurements to OAI_THREADPOOLMEASUREMENTS
- make it clear that it belongs to OAI
- follow convention of uppercase name
|
2023-06-28 07:16:00 +02:00 |
|
|
Robert Schmidt
|
ba11dfba4e
|
Rename env var gdbStacks to OAI_GDBSTACKS
- make it clear that it belongs to OAI
- follow convention of uppercase name
|
2023-06-28 07:16:00 +02:00 |
|
|
Robert Schmidt
|
c44dcefd16
|
Document environment variables used by OAI programs
|
2023-06-28 07:16:00 +02:00 |
|