diff options
Diffstat (limited to 'scripts/dev/generate_phpt.php')
| -rw-r--r-- | scripts/dev/generate_phpt.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/dev/generate_phpt.php b/scripts/dev/generate_phpt.php index c43a911d57..5280f1d8e7 100644 --- a/scripts/dev/generate_phpt.php +++ b/scripts/dev/generate_phpt.php @@ -912,7 +912,7 @@ function parse_args ($arglist, $opt) break; default: - echo "Command line option $arg[$j] not recognised\n"; + echo "Command line option $arglist[$j] not recognised\n"; print_opts(); } |