diff options
-rwxr-xr-x | run-tests.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index 6408500bae..ab18f0d8f8 100755 --- a/run-tests.php +++ b/run-tests.php @@ -333,7 +333,7 @@ if (isset($argc) && $argc > 1) { $html_output = is_resource($html_file); break; case '--version': - echo "$Revision$\n"; + echo '$Revision$'."\n"; exit(1); default: echo "Illegal switch '$switch' specified!\n"; |