Browse Source

Revert "Remove a useless line from release.sh"

This reverts commit c8e7ef8fbe.
rand
Gavin Howard 2 years ago
parent
commit
d58650f0fc
Signed by: gavin GPG Key ID: C08038BDF280D33E
  1. 2
      release.sh

2
release.sh

@ -455,6 +455,8 @@ fi
if [ "$run_tests" -ne 0 ]; then
build "$release" "clang" "-O3" "1" "64"
karatsuba
if [ "$run_valgrind" -ne 0 -a "$test_with_gcc" -ne 0 ]; then

Loading…
Cancel
Save