On Thu, Apr 26, 2018 at 02:50:51PM -0400, Robert Haas wrote:
> Hmm, I thought we talked about changing such references to say 'JIT
> compilation' rather than just 'JIT'.
Perhaps. I recall that this has been mentioned already the last couple
of weeks on the JIT thread. Personally, I can see that
On Wed, Apr 25, 2018 at 3:30 AM, Magnus Hagander wrote:
> On Wed, Apr 25, 2018 at 4:11 AM, Michael Paquier
> wrote:
>>
>> Hi all,
>>
>> I just found $subject:
>> the server was compiled without --with-llvm),
>> -JIT will not performed, even if considered to be
>> +JIT will not be per
On Wed, Apr 25, 2018 at 4:11 AM, Michael Paquier
wrote:
> Hi all,
>
> I just found $subject:
> the server was compiled without --with-llvm),
> -JIT will not performed, even if considered to be
> +JIT will not be performed, even if considered to be
> beneficial based on the above
Hi all,
I just found $subject:
the server was compiled without --with-llvm),
-JIT will not performed, even if considered to be
+JIT will not be performed, even if considered to be
beneficial based on the above criteria. Setting
Thanks,
--
Michael
diff --git a/doc/src/sgml/jit.
