diff options
Diffstat (limited to 'vest')
| -rwxr-xr-x | vest/dist-vest.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/vest/dist-vest.pl b/vest/dist-vest.pl index 2789b6fd..e445b4a0 100755 --- a/vest/dist-vest.pl +++ b/vest/dist-vest.pl @@ -76,6 +76,7 @@ if (GetOptions( "max-iterations=i" => \$max_iterations, "normalize=s" => \$normalize, "pmem=s" => \$pmem, + "cpbin!" => \$cpbin, "rand-directions=i" => \$rand_directions, "random_directions=i" => \$rand_directions, "no-primary!" => \$noprimary, |