commit | f53be040e18816f1852c209ab76e58aa4dbb0898 | [log] [tgz] |
---|---|---|
author | Johannes Doerfert <johannes@jdoerfert.de> | Wed Dec 06 14:49:49 2023 -0800 |
committer | Copybara-Service <copybara-worker@google.com> | Wed Dec 06 14:52:40 2023 -0800 |
tree | 4dd2f7768de056f3a1104c617a362073a3effc23 | |
parent | fd025e194fa3c714a255a945625f58ec872ef8b7 [diff] |
[OpenMP][FIX] Use unique library name to avoid clashes with other tests We probably should use a temporary name, but having stable names helps debugging. GitOrigin-RevId: dcbb1968a8215e79bfc2bdc48a88d2596b7f5995