[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