diff --git a/hermit/usr/libomp b/hermit/usr/libomp index f33df7ee4..be12ca2e1 160000 --- a/hermit/usr/libomp +++ b/hermit/usr/libomp @@ -1 +1 @@ -Subproject commit f33df7ee4062a1f41e7cb3b838f4967157d72d23 +Subproject commit be12ca2e1f642a30afead2805c212316a2a5f87c