summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPatrick Simianer <p@simianer.de>2014-07-22 11:41:09 +0200
committerPatrick Simianer <p@simianer.de>2014-07-22 11:41:09 +0200
commit588d1f84032664f24dc666230d971c23d50e16b0 (patch)
treefb9c842414cfd6c0242eda0662983427cb39ac4b
parent499b2caf33507d31a4bb3eb267a2a311b8da5474 (diff)
pro fix
-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();