|
From: Paul F. <pa...@so...> - 2022-05-10 18:09:52
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=1f1abc9ec3b05b51d8003ec03f75c1c3ca4b1c17 commit 1f1abc9ec3b05b51d8003ec03f75c1c3ca4b1c17 Author: Paul Floyd <pj...@wa...> Date: Tue May 10 20:08:43 2022 +0200 Add check for DRD OMP tests for FreeBSD Diff: --- drd/tests/run_openmp_test | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/drd/tests/run_openmp_test b/drd/tests/run_openmp_test index f507676156..e09b543467 100755 --- a/drd/tests/run_openmp_test +++ b/drd/tests/run_openmp_test @@ -40,3 +40,11 @@ if [ "$(uname)" = Linux ]; then exit ${rc:-1} fi + +if [ "$(uname)" = FreeBSD ]; then + + ldd "$1" | grep libgomp > /dev/null + + exit $? + +fi |