[Development] Plugins path
Igor Mironchik
igor.mironchik at gmail.com
Tue Jan 2 12:29:42 CET 2018
Hi,
On 02.01.2018 13:37, Thiago Macieira wrote:
> On Tuesday, 2 January 2018 05:13:20 -02 Igor Mironchik wrote:
>> So I have to rebuild again. I deleted config.opt file. Launched
>> ./configure...
> Delete a few more files besides config.opt. In fact, all of them that were
> created after you typed configure (including all created by make).
>
> Git clean helps. rm -rf a shadow build is better.
In my case deletion of the config.opt helped enough. Now all rocks.
Thank you.
More information about the Development
mailing list