Browse Source

Remove a useless line from release.sh

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

2
release.sh

@ -455,8 +455,6 @@ 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