From b4b8efbd3826ac0af2d1c2e7c40fcf80a4bfba45 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sat, 4 May 2024 14:18:03 +0200 Subject: Adding upstream version 15.6. Signed-off-by: Daniel Baumann --- doc/src/sgml/html/jit-configuration.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc/src/sgml/html/jit-configuration.html') diff --git a/doc/src/sgml/html/jit-configuration.html b/doc/src/sgml/html/jit-configuration.html index feab98d..6b61121 100644 --- a/doc/src/sgml/html/jit-configuration.html +++ b/doc/src/sgml/html/jit-configuration.html @@ -1,5 +1,5 @@ -32.3. Configuration
32.3. Configuration
Prev UpChapter 32. Just-in-Time Compilation (JIT)Home Next

32.3. Configuration

+32.3. Configuration

32.3. Configuration
Prev UpChapter 32. Just-in-Time Compilation (JIT)Home Next

32.3. Configuration

The configuration variable jit determines whether JIT compilation is enabled or disabled. @@ -14,4 +14,4 @@ For development and debugging purposes a few additional configuration parameters exist, as described in Section 20.17. -

Prev Up Next
32.2. When to JIT? Home 32.4. Extensibility
\ No newline at end of file +

Prev Up Next
32.2. When to JIT? Home 32.4. Extensibility
\ No newline at end of file -- cgit v1.2.3