Skip to content
GitLab
Commit dcbb1968 authored by Johannes Doerfert's avatar Johannes Doerfert
Browse files

[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.
parent d552ce26
Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment