Re: [PATCH v9 13/13] configure: remove the final bits of --profiler support

2019-10-08 Thread Richard Henderson
On 10/7/19 11:28 AM, Alex Bennée wrote: > Signed-off-by: Alex Bennée > --- > configure | 5 - > 1 file changed, 5 deletions(-) Merge this with the patch that removes CONFIG_PROFILER. r~

[PATCH v9 13/13] configure: remove the final bits of --profiler support

2019-10-07 Thread Alex Bennée
Signed-off-by: Alex Bennée --- configure | 5 - 1 file changed, 5 deletions(-) diff --git a/configure b/configure index eedeb9016e..dfd0f67170 100755 --- a/configure +++ b/configure @@ -419,7 +419,6 @@ oss_lib="" bsd="no" linux="no" solaris="no" -profiler="no" cocoa="no" softmmu="yes"