Changeset: 6a6d4f1d0fb5 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/6a6d4f1d0fb5
Modified Files:
        testing/Mtest.py.in
Branch: Dec2025
Log Message:

Even when --nomito, still set NOSYNCMASK.


diffs (12 lines):

diff --git a/testing/Mtest.py.in b/testing/Mtest.py.in
--- a/testing/Mtest.py.in
+++ b/testing/Mtest.py.in
@@ -4172,6 +4172,8 @@ def main(argv):
             exe['mserver5'] = ['mserver5', f'--debug={env["GDK_DEBUG"]}', 
'--debug=256', '--set', f'gdk_nr_threads={env["GDK_NR_THREADS"]}'] + 
shlex.split(env['setMONETDB_MOD_PATH']) + ['--set', 'mapi_listenaddr=all', 
'--set', 'mapi_port=0'] + shlex.split(SOCK)
             if not nomito:
                 exe['mserver5'].append('--forcemito')
+            else:
+                exe['mserver5'].append(f'-d{1 << 24}')  # NOSYNCMASK
         else:
             ErrXit('cannot find mserver5 executable')
         if CheckExec('ruby'):
_______________________________________________
checkin-list mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to