From 09dd2ad2a9619348ce9bb57a7ebf7026aede6c9c Mon Sep 17 00:00:00 2001 From: ObserverOfTime Date: Sun, 8 Dec 2024 11:05:33 +0200 Subject: [PATCH] build: fix jextract execution on windows --- pom.xml | 11 +++++++++-- scripts/jextract.ps1 | 1 + 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/pom.xml b/pom.xml index ab8107c..d2297c4 100644 --- a/pom.xml +++ b/pom.xml @@ -81,11 +81,18 @@ ${jextract.skip} Generating sources using jextract - + + + + + + - + + + diff --git a/scripts/jextract.ps1 b/scripts/jextract.ps1 index ced645c..ecb52c9 100755 --- a/scripts/jextract.ps1 +++ b/scripts/jextract.ps1 @@ -115,6 +115,7 @@ $lib = "$($args[0])/core/lib" --include-function ts_query_delete ` --include-function ts_query_disable_capture ` --include-function ts_query_disable_pattern ` + --include-function ts_query_end_byte_for_pattern ` --include-function ts_query_is_pattern_guaranteed_at_step ` --include-function ts_query_is_pattern_non_local ` --include-function ts_query_is_pattern_rooted `