Set random-shamir.x default --prep-dir to PREP_DIR

Fixes data61#29.
sbellem · Apr 10, 2022 · 730c48a · 730c48a
1 parent 073a2a8
commit 730c48a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Utils/random-shamir.cpp b/Utils/random-shamir.cpp
@@ -94,7 +94,7 @@ int main(int argc, const char** argv)
 	);
 
     opt.add(
-          "Player-Data", // Default.
+          PREP_DIR, // Default.
           0, // Required?
           1, // Number of args expected.
           0, // Delimiter if expecting multiple args.