diff options
Diffstat (limited to 'vest/dist-vest.pl')
| -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 c9c11d23..97b72f45 100755 --- a/vest/dist-vest.pl +++ b/vest/dist-vest.pl @@ -75,6 +75,7 @@ if (GetOptions( "normalize=s" => \$normalize, "pmem=s" => \$pmem, "rand-directions=i" => \$rand_directions, + "random_directions=i" => \$rand_directions, "no-primary!" => \$noprimary, "max-similarity=s" => \$maxsim, "oracle-directions=i" => \$oraclen, |