Fixing typo arg->arglist at line 195. Thanks Chris J!

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