Age | Commit message (Collapse) | Author |
|
|
|
|
|
own config file copy
|
|
|
|
|
|
from there
|
|
|
|
|
|
|
|
for per-user envs.
|
|
|
|
|
|
|
|
|
|
since it's needed by the python actual generator
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- sleep 3 secs after launching the db via ARM before compiling
|
|
- Passing --coverage flag to compiling script when needed.
|
|
|
|
|
|
|
|
|
|
|
|
|