Skip to content

Commit

Permalink
Add the flag only when not forking
Browse files Browse the repository at this point in the history
  • Loading branch information
gnodet committed Oct 23, 2023
1 parent a20a059 commit 7be773d
Showing 1 changed file with 4 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -443,7 +443,10 @@ else if ( !suppressSource( config ) )
args.add( value );
}

args.add( "-XDuseUnsharedTable=true" );
if ( !config.isFork() )
{
args.add( "-XDuseUnsharedTable=true" );
}

return args.toArray( new String[0] );
}
Expand Down

0 comments on commit 7be773d

Please sign in to comment.