Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Change the default of -d=gen to false
We should try to not rely on evaluation of external functions, the performance issues we have with compiling code during translation, and the crashes that -d=gen may cause.
- Loading branch information