diff --git a/hermit/usr/libomp b/hermit/usr/libomp index be12ca2e1..8b581956f 160000 --- a/hermit/usr/libomp +++ b/hermit/usr/libomp @@ -1 +1 @@ -Subproject commit be12ca2e1f642a30afead2805c212316a2a5f87c +Subproject commit 8b581956ffc9bfb38c840fdf89ee61b194b75c8f