From: Elvis Martis <elvis_bcp.elvismartis.in>
Date: Mon, 17 Feb 2020 21:43:56 +0530
Hi
Its better you wait for it to clean unwanted files from the previous
configure run.
Best Regards
On Mon, 17 Feb 2020 at 21:41, Nicolas Feldman <nfeldman01.qub.ac.uk> wrote: