[llvm-bugs] [Bug 41551] z3 version check broken?

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=41551

Felix von Leitner <felix-llvm at fefe.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |INVALID
             Status|NEW                         |RESOLVED

--- Comment #2 from Felix von Leitner <felix-llvm at fefe.de> ---
Hmm it appears this is caused by a program linked by gcc (and supposed to use
libgomp) actually using libomp. This was caused by a wayward symlink on my
system that I don't remember putting there.

I'm sorry for the noise. I now think this was my fault, not yours.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20190421/f299882f/attachment.html>