version number set to 4.0.0.0 RC1
[rocksndiamonds.git] / src / main.c
index 69b72b4e6764156f8842ac875515f13e64d0944b..c33369729d47972a43a70f223f99cb7df4d3285e 100644 (file)
@@ -5652,12 +5652,13 @@ static void print_usage()
 
 static void print_version()
 {
-  Print("%s %d.%d.%d.%d\n",
+  Print("%s %d.%d.%d.%d%s\n",
        PROGRAM_TITLE_STRING,
        PROGRAM_VERSION_MAJOR,
        PROGRAM_VERSION_MINOR,
        PROGRAM_VERSION_PATCH,
-       PROGRAM_VERSION_BUILD);
+       PROGRAM_VERSION_BUILD,
+       PROGRAM_VERSION_EXTRA);
 
   if (options.debug)
   {