diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-09-06 20:52:16 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-06 20:52:16 -0500 |
commit | 1c09572e0e2031519a103caa2a4af0d9bd34a9c5 (patch) | |
tree | 576012b4e9434bd4b8472b5df766d3836d3145b9 /configure.sh | |
parent | 856701f3b2154646eab6b7898fa33e5917322a7b (diff) |
Remove portfolio (#3236)
Diffstat (limited to 'configure.sh')
-rwxr-xr-x | configure.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/configure.sh b/configure.sh index d7e807c65..2057dd512 100755 --- a/configure.sh +++ b/configure.sh @@ -366,8 +366,6 @@ cmake_opts="" && cmake_opts="$cmake_opts -DENABLE_MUZZLE=$muzzle" [ $optimized != default ] \ && cmake_opts="$cmake_opts -DENABLE_OPTIMIZED=$optimized" -[ $portfolio != default ] \ - && cmake_opts="$cmake_opts -DENABLE_PORTFOLIO=$portfolio" [ $proofs != default ] \ && cmake_opts="$cmake_opts -DENABLE_PROOFS=$proofs" [ $replay != default ] \ |