David Ducos

Results 329 comments of David Ducos

On release v0.12.7-1, we change several things in myloader which will allow us to fix easily this kind of issues. Could you test again after release v0.12.7-1 and let us...

BTW, if you want to KILL a process that is running you can use `ctrl+\`

Hi @str, This is interesting, don't know how we can sync git with ppa to keep both in sync. I think that it might be a decision of Ubuntu when...

We can get this info from status variable: Binlog_snapshot_gtid_executed

Hi @3eka, Can you run `make -n` to see what are the parameters of the command that is failing?

I might be just guessing but, why don't you try with: ``` --DPC_PCRE_INCLUDEDIR=${PREFIX}/include \ ``` instead of: ``` -DPCRE_INCLUDE_DIR=${PREFIX}/include \ ``` ? as that is the hint variable used in...

@3eka https://stackoverflow.com/questions/25849571/adding-include-directories-to-cmake-when-calling-it-from-the-command-line might help you

Agree... I will try to find some time in the future to review it.