diff --git a/stp.spec b/stp.spec index 8334600..e249ac8 100644 --- a/stp.spec +++ b/stp.spec @@ -98,7 +98,7 @@ sed -i 's/^LIBS=.*/& -lcryptominisat -lm/' tests/c-api-tests/Makefile # The valgrind tests tend to work on x86 only %ifnarch %{ix86} x86_64 -sed -i 's/\(VALGRINDPATH=\).*/\1""/' tests/c-api-tests/Makefile +sed -i 's/\(VALGRINDPATH=\).*/\1/' tests/c-api-tests/Makefile %endif %build