diff options
author | John Levon <john.levon@nutanix.com> | 2022-05-12 15:20:51 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-12 15:20:51 +0100 |
commit | 294aa666fe09a8b6ca133201c7593c54d3cab6e8 (patch) | |
tree | 6baf13186d72247a6cec78c1401ebb8327bd4ebb /lib | |
parent | 928bba3dcc84c73d79fcd9ac1ea6467410477c45 (diff) | |
download | libvfio-user-294aa666fe09a8b6ca133201c7593c54d3cab6e8.zip libvfio-user-294aa666fe09a8b6ca133201c7593c54d3cab6e8.tar.gz libvfio-user-294aa666fe09a8b6ca133201c7593c54d3cab6e8.tar.bz2 |
build PR runs in release mode (#669)
Instead of "plain", which doesn't specify any optimization, use
"release", which both turns off -DDEBUG and enables -O3.
Switch the default build to "debug" - we can't use optimization if we
want to run valgrind, as there are apparent CPython bugs that trip up
valgrind in that case.
Signed-off-by: John Levon <john.levon@nutanix.com>
Reviewed-by: Swapnil Ingle <swapnil.ingle@nutanix.com>
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions