summaryrefslogtreecommitdiff
path: root/training/pro
diff options
context:
space:
mode:
Diffstat (limited to 'training/pro')
-rwxr-xr-xtraining/pro/pro.pl1
1 files changed, 1 insertions, 0 deletions
diff --git a/training/pro/pro.pl b/training/pro/pro.pl
index 3b30c379..a059477d 100755
--- a/training/pro/pro.pl
+++ b/training/pro/pro.pl
@@ -79,6 +79,7 @@ if (GetOptions(
"help" => \$help,
"reg=f" => \$reg,
"reg-previous=f" => \$reg_previous,
+ "pmem=s" => \$pmem,
"output-dir=s" => \$dir,
) == 0 || @ARGV!=0 || $help) {
print_help();