Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Change Release builds to Release with debug info on Linux
For Linux builds, we want to add debug information on the generated binary (for timing and profiling purposes). This patch changes Release builds to RelWithDebInfo.
- Loading branch information