diff options
| author | Patrick Simianer <p@simianer.de> | 2014-07-22 11:41:09 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2014-07-22 11:41:09 +0200 |
| commit | a4b0e95574df5e7895ab19975412a5d883008b32 (patch) | |
| tree | 7e6c8ba5b9220f16091009532224bcf6e55f5693 | |
| parent | 7201ef7d46e39f42923d89688a1cb82c757abe61 (diff) | |
pro fix
| -rwxr-xr-x | training/pro/pro.pl | 1 |
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(); |