|
From: | Richard Henderson |
Subject: | Re: [PATCH v9 13/13] configure: remove the final bits of --profiler support |
Date: | Tue, 8 Oct 2019 15:39:07 -0400 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.8.0 |
On 10/7/19 11:28 AM, Alex Bennée wrote: > Signed-off-by: Alex Bennée <address@hidden> > --- > configure | 5 ----- > 1 file changed, 5 deletions(-) Merge this with the patch that removes CONFIG_PROFILER. r~
[Prev in Thread] | Current Thread | [Next in Thread] |