diff --git a/scripts/dev/generate_phpt.php b/scripts/dev/generate_phpt.php index c43a911d572..5280f1d8e70 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(); }