src/bin/sage-valgrind: Also check /usr/lib64/valgrind

sagemath · Feb 1, 2020 · ae6b748 · ae6b748
1 parent 52552f3
commit ae6b748
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/bin/sage-valgrind b/src/bin/sage-valgrind
@@ -11,7 +11,7 @@ if [ "$SAGE_PYTHON_VERSION" = 2 ]; then
 else
  PYTHON_SUPP_FILENAME="python$SAGE_PYTHON_VERSION.supp"
 fi
-for dir in "$SAGE_LOCAL/lib/valgrind" "/usr/local/lib/valgrind" "/usr/lib/valgrind" ; do
+for dir in "$SAGE_LOCAL/lib/valgrind" "/usr/local/lib/valgrind" "/usr/lib64/valgrind" "/usr/lib/valgrind" ; do
  if [ -f "$dir"/"$PYTHON_SUPP_FILENAME" ]; then
  SUPP=" --suppressions=$dir/$PYTHON_SUPP_FILENAME"
  break