diff options
author | Henning Baldersheim <balder@yahoo-inc.com> | 2023-02-14 11:00:40 +0000 |
---|---|---|
committer | Henning Baldersheim <balder@yahoo-inc.com> | 2023-02-14 11:39:20 +0000 |
commit | 7d9624bcaa39375977f176d90e27318bd82c1d5c (patch) | |
tree | 1e9ae4db0421519d397aaa364734ce72354aeb3b /dist | |
parent | 1606f144ece307306facea7c21efbe66cfb759f9 (diff) |
Apply patch for std::vector::_M_realloc_insert and _M_insert_aux
Diffstat (limited to 'dist')
-rw-r--r-- | dist/vespa.spec | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dist/vespa.spec b/dist/vespa.spec index 689572d1ede..55ac76f85d3 100644 --- a/dist/vespa.spec +++ b/dist/vespa.spec @@ -404,6 +404,17 @@ nearest neighbor search used for low-level benchmarking. %endif %else %setup -q +file_to_patch=/opt/rh/gcc-toolset-12/root/usr/include/c++/12/bits/stl_vector.h +if test -f $file_to_patch +then + if grep -qs '_M_realloc_insert(iterator __position, const value_type& __x) __attribute((noinline))' $file_to_patch + then + : + else + patch $file_to_patch < dist/patch.stl_vector.h.diff + fi +fi + echo '%{version}' > VERSION case '%{version}' in *.0) |