diff options
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index ca2c890eb88..71b13df042c 100644 --- a/configure.ac +++ b/configure.ac @@ -1166,7 +1166,7 @@ with_bitcode_default=no enable_cooperative_suspend_default=no enable_hybrid_suspend_default=no -INVARIANT_AOT_OPTIONS=nimt-trampolines=2000,ntrampolines=10000,nrgctx-fetch-trampolines=256,ngsharedvt-trampolines=4000 +INVARIANT_AOT_OPTIONS=nimt-trampolines=2000,ntrampolines=10000,nrgctx-fetch-trampolines=256,ngsharedvt-trampolines=4000,nftnptr-arg-trampolines=1000 AOT_BUILD_ATTRS=$INVARIANT_AOT_OPTIONS |