Merge branch 'main' into new-editors

2024-09-14 23:49:06 +02:00
parent 7442f6ec91 cecdd05322
commit 17ce1f147c
25 changed files with 104 additions and 51 deletions
@@ -195,6 +195,7 @@
 	<haxedef name="HXCPP_CHECK_POINTER" if="release" />
 	<haxedef name="HXCPP_STACK_LINE" if="release" />
 	<haxedef name="HXCPP_DEBUG_LINK" if="release" />
+	<haxedef name="HXCPP_CATCH_SEGV" />

 	<haxedef name="hscriptPos" /> <!-- for logging -->